Node
colored
node
PetriNetGraphNodeTAdditions
nodes
PetriNet
ScalaGraphPetriNet
nullTransition
dsl