Create flow of functions which returns promises
Create Petri-nets with js, ts, or json
A Modern web framework with MVPCS structure.
Petri net modeling with ODE simulation and token model DSL
Proc macros for pflow token model DSL
Core Petri net types, fluent builder API, and state utilities
S-expression DSL for defining token model schemas
MCP server for Petri net simulation and analysis
Declarative Petri-nets using a rust DSL
ODE solvers for Petri net simulation using mass-action kinetics
Token model schema, snapshot, and runtime execution
ZK proof traits and incidence matrix extraction for Petri nets
Arkworks-based ZK prover for Petri nets (Groth16 + Poseidon over BN254)
risc0 zkVM-based prover for Petri nets
AWS SDK for Amazon Appflow