Expand description
Core Petri net data structures.
A Petri net consists of Places (states), Transitions (events), and Arcs (connections).
Structs§
- Arc
- A directed connection between a Place and a Transition.
- Petri
Net - A complete Petri net model.
- Place
- A state in a Petri net that can hold tokens.
- Transition
- An event that can occur in a Petri net.
Type Aliases§
- State
- State map type: place label -> token count.