Crate pns[−][src]
Expand description
See the description
Structs
A temporary object for selecting a transition to fire.
An iterator to iterate over the states of a simulated net.
A mutable iterator to iterate over the states of a simulated net.
A type representing a petri net. It only stores the initial state, not the state used for simulatoin.
A node of a petri net; stores the indices to the next and previous nodes.
A wrapper type for net to support managing multiple states for simulations.
A simulation state combined with the net it belongs to.
A simulation state combined with the net it belongs to, ready for simualtion.
The state of the petri net used for simulation.
Enums
A dynamic type, able to store both net kinds.
Traits
A trait to share safe functionality for the default Net
type and the SimulatedNet