Expand description
See the description
Structs§
- A type representing a petri net. It only stores the initial state, not the state used for simulation.
- 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.
- The state of the petri net used for simulation.
- The error type when state initialization fails.
Enums§
- A dynamic type, able to store both net kinds.
Type Aliases§
- The identifier meant to represent places.
- The identifier meant to represent transitions.