Simple Heterogeneous map implementation.
Simple Heterogeneous map implementation.
The map backing this heterogeneous map
Type alias for something that is identifiable.
Type alias for a single marked place, meaning a place containing tokens.
Type alias for a marking.
Some convenience method additions to work with Markings.
Some convenience method additions to work with Markings.
Type alias for a multi set.
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