Expand description
See the description
Structs§
- Fire
Changes - Contains the changes of fireable transitions.
- Net
- A type representing a petri net. It only stores the initial state, not the state used for simulation.
- Node
- A node of a petri net; stores the indices to the next and previous nodes.
- State
- The state of the petri net used for simulation.
- State
Initialization Error - The error type when state initialization fails.
- Transition
List - Represents a list of transitions. Can be used as an iterator.
- Transition
View - Represents a view of transitions. Can be used as an iterator.