Node

colored

node

PetriNetGraphNodeTAdditions

nodes

PetriNet ScalaGraphPetriNet

nullTransition

dsl