petri_nets/lib.rs
1#![deny(missing_docs)]
2/*!
3See the [description](https://crates.io/crates/petri-nets)
4**/
5
6pub use event_simulation::{
7 CallState as FireState, Editable, PlayDirection as FireDirection, Simulation,
8};
9pub use petri_net_simulation::{
10 maximum_fire_count, maximum_unfire_count, DynamicNet, DynamicNetEdit, EditNet,
11 MultiPetriNetEdit as SimulatedNetEdit, MultiPetriNetSimulation as SimulatedNet,
12 PetriNetSimulationBorrow as SimulationState, PetriNetSimulationBorrowMut as SimulationStateMut,
13 SimulationExtensions,
14};
15pub use pns;