Label

petrinet

Labeled

petrinet

LabeledOps

petrinet

label

EventTransition InteractionTransition IntermediateTransition MissingEventTransition MultiFacilitatorTransition Place Transition

labelFn

PetriNetDot

labelPrepend

EventOrPreconditionPlace PlaceType

log

InteractionTransition