label

Place StateTransition Transition

leavePlaces

PetriNet