How differentiated Petri net types form a category with typed links as morphisms, enabling compositional system design.
Resource modeling with Petri nets—capacity limits, weighted arcs, and continuous flow rates predict when you'll run out of beans.
Interactive tutorials for learning Petri nets—from tic-tac-toe basics to complex multi-player games, with model-driven code generation.
Modeling multi-player poker with Petri nets—state machines, role-based access, guards, and event sourcing for complex game logic.
Zero-knowledge proofs meet Petri nets—cryptographically verify valid game moves without revealing strategy using gnark circuits.
A minimal blog platform with ActivityPub federation. Markdown files, a Go binary, JSON for state. No database required.
An interpreted language for Petri net token models with guards, invariants, and data state semantics.
Modeling Sudoku as a Petri net with ODE simulation—constraint satisfaction through token flow.
Modeling tic-tac-toe using Petri nets with ODE simulation for AI move selection—no game heuristics, just model topology.
Reflecting on old ideas with new tools — from Petri nets to proofs, from Bash scripts to composable universes.
Introducing Stackdump Blog
A modeling approach where system behavior is described declaratively and encoded directly in differential equations.
Using Declarative Differential Models (DDM) to explore the knapsack problem with Petri nets and ODEs.
A poem for Carl Adam Petri, inventor of Petri nets—the mathematical notation for concurrent systems.