Label
petrinet
Labeled
petrinet
LabeledOps
petrinet
label
EventTransition
InteractionTransition
IntermediateTransition
MissingEventTransition
MultiFacilitatorTransition
Place
Transition
labelFn
PetriNetDot
labelPrepend
EventOrPreconditionPlace
PlaceType
log
InteractionTransition