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.