Crate pflow 

Petri net modeling with ODE simulation and token model DSL.

This crate re-exports the public API from all pflow crates.

Re-exports

pub use pflow_core as core;

pub use pflow_dsl as dsl;

pub use pflow_solver as solver;

pub use pflow_tokenmodel as tokenmodel;

Macros

schema

Parse a token model DSL string at compile time and emit a Schema.

Structs

Builder

Fluent builder for Petri net construction.

Options

Solver configuration parameters.

PetriNet

A complete Petri net model.

Problem

An ODE initial value problem for a Petri net.

Solution

The solution to an ODE problem.

Functions

find_equilibrium

Solves until equilibrium and returns just the final state.

solve

Integrates the ODE problem using the given solver and options.

Type Aliases

State

State map type: place label -> token count.