-
Coffee Shop Model
Resource modeling with Petri nets—capacity limits, weighted arcs, and continuous flow rates predict when you'll run out of beans.
-
Introducing Petri-Pilot
Interactive tutorials for learning Petri nets—from tic-tac-toe basics to complex multi-player games, with model-driven code generation.
-
Texas Hold'em Model
Modeling multi-player poker with Petri nets—state machines, role-based access, guards, and event sourcing for complex game logic.
-
ZK Tic-Tac-Toe Model
Zero-knowledge proofs meet Petri nets—cryptographically verify valid game moves without revealing strategy using gnark circuits.
-
The Token Language
An interpreted language for Petri net token models with guards, invariants, and data state semantics.
-
Sudoku Petri-Net Model
Modeling Sudoku as a Petri net with ODE simulation—constraint satisfaction through token flow.
-
Declarative Differential Models (DDM)
A modeling approach where system behavior is described declaratively and encoded directly in differential equations.
-
Knapsack Model
Using Declarative Differential Models (DDM) to explore the knapsack problem with Petri nets and ODEs.
-
Ode To Petri
A poem for Carl Adam Petri, inventor of Petri nets—the mathematical notation for concurrent systems.