Crate pns[][src]

Expand description

See the description

Structs

A temporary object for selecting a transition to fire.

An iterator to iterate over the states of a simulated net.

A mutable iterator to iterate over the states of a simulated net.

A type representing a petri net. It only stores the initial state, not the state used for simulatoin.

A node of a petri net; stores the indices to the next and previous nodes.

A wrapper type for net to support managing multiple states for simulations.

A simulation state combined with the net it belongs to.

A simulation state combined with the net it belongs to, ready for simualtion.

The state of the petri net used for simulation.

Enums

A dynamic type, able to store both net kinds.

Traits

A trait to share safe functionality for the default Net type and the SimulatedNet