Crate pflow_core 

Core Petri net types, fluent builder API, and state utilities.

Re-exports

pub use builder::Builder;

pub use net::Arc;

pub use net::PetriNet;

pub use net::Place;

pub use net::State;

pub use net::Transition;

Modules

builder

Fluent builder API for constructing Petri nets.

net

Core Petri net data structures.

stateutil

State map utilities for manipulating Petri net state maps.