Petri net interface.
Petri net interface.
TODO also incorporate the edge types, P -> T and T -> P
TODO; can we remove this wrapper? It seems only needed because we need to mix in other traits with PetriNet which cannot be done with Graph.apply
Interface for deciding which (transition, marking) parameters are 'enabled'
Interface for deciding which (transition, marking) parameters are 'enabled'
Place
Transition
Marking The type of Marking in the PetriNet