[][src]Crate pns

See [README.md]

Structs

FireState

A temporary object for selecting a transition to fire.

Net

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

Node

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

SimulatedNet

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

State

The state of the petri net used for simulation.