-
Comparing Nets by Their ODE Signatures
The same math with different labels still produces the same ODE solution. In tic-tac-toe, we see it directly — each board position is a place, and the heatmap is the solution projected onto the grid.
-
Introducing Petri-Pilot
Interactive tutorials for learning Petri nets—from tic-tac-toe basics to complex multi-player games, with model-driven code generation.
-
The Token Language
An interpreted language for Petri net token models with guards, invariants, and data state semantics.