Transition

petrinet

TransitionAdditions

il

toDot

GraphVisualization PetriNetVisualization

toString

EventTransition InteractionTransition

transitionIdentifier

petrinet

transitionLabeler

petrinet

transitionToNode

api