Crate petri_net_simulation
source ·Structs§
- A wrapper type for net which only supports safe edits.
Enums§
- A dynamic type, able to store both net kinds.
- A type for editing a dynamic net safely.
Traits§
- Extension trait for the simulation.
Functions§
- Calculate how often a transaction could theoretically be fired.
- Calculate how often a transaction could theoretically be unfired.