toDot

GraphVisualization PetriNetVisualization

transitionToNode

api