Returns the in-marking of a transition.
Returns the in-marking of a transition. That is; a map of place -> arc weight
transition
The in-adjacent places of a transition.
The in-adjacent transitions of a place.
The scala-graph backing petri net.
The scala-graph backing petri net.
The set of nodes (places + transitions) in the petri net.
The set of nodes (places + transitions) in the petri net.
The set of nodes.
The out marking of a transition.
The out marking of a transition. That is; a map of place -> arc weight
transition
The out-adjecent places of a transition.
The out-adjecent places of a transition.
transition
The out-adjacent transitions of a place.
The set of places of the petri net
The set of places of the petri net
The set of places
The set of transitions of the petri net
The set of transitions of the petri net
The set of transitions.
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