[−][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 |