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