Crate petri_nets

Crate petri_nets 

Source
Expand description

See the description

Re-exports§

pub use pns;

Structs§

EditNet
A wrapper type for net which only supports safe edits.
FireState
A temporary object for selecting an event to call.

Enums§

DynamicNet
A dynamic type, able to store both net kinds.
DynamicNetEdit
A type for editing a dynamic net safely.

Traits§

Editable
A trait for types that can be safely edited without invalidating their associated states.
FireDirection
A trait representing a direction for calling or reverting events in a simulation.
Simulation
The Simulation trait provides an interface for interacting with a simulation.
SimulationExtensions
Extension trait for the simulation.

Functions§

maximum_fire_count
Calculate how often a transaction could theoretically be fired.
maximum_unfire_count
Calculate how often a transaction could theoretically be unfired.

Type Aliases§

SimulatedNet
SimulatedNetEdit
SimulationState
SimulationStateMut