Simple Heterogeneous map implementation.
Simple Heterogeneous map implementation.
The map backing this heterogeneous map
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