Type alias for the edge type of the scalax.collection.Graph backing the petri net.
Type alias for a colored petri net.
Type alias for the node type of the scalax.collection.Graph backing the petri net.
A Place in a colored petri net.
A transition in a Colored Petri Net
A transition in a Colored Petri Net
The input type of the transition, the type of value that is required as input
The output type of the transition, the type of value that this transition 'emits' or 'produces'