-
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.