Crate petri_net_simulation

Structs

• EditNet
  A wrapper type for net which only supports safe edits.
• PetriNetInfo
• StateLoadingError

Enums

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

Traits

• 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

• BorrowedPetriNetSimulation
• MultiPetriNetEdit
• MultiPetriNetSimulation
• PetriNetEdit
• PetriNetSimulation
• PetriNetSimulationBorrow
• PetriNetSimulationBorrowMut