toMarking

IterableToMarking MultiSetToMarking

toString

Node

transitions

PetriNet

translateKeys

api