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 places of a transition.
transition
The in-adjacent transitions of a place.
The in-adjacent transitions of a place.
place
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 out-adjacent transitions of a place.
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.
Petri net interface.
TODO also incorporate the edge types, P -> T and T -> P ?