Label
api
Labeled
api
LabeledFn
api
label
Place
StateTransition
Transition
leavePlaces
PetriNet