Crate pns

source ·
Expand description

See the description

Structs

  • Net
    A type representing a petri net. It only stores the initial state, not the state used for simulation.
  • 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.
  • StateInitializationError
    The error type when state initialization fails.

Enums

  • DynamicNet
    A dynamic type, able to store both net kinds.

Type Aliases

  • Pid
    The identifier meant to represent places.
  • Tid
    The identifier meant to represent transitions.