[−][src]Crate pns
See [README.md]
Structs
FireState | A temporary object for selecting a transition to fire. |
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. |
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 |