-
Categorical Net Types
Five Petri net types classify token behavior — workflow cursors, countable resources, game turns, continuous rates, and classification signals — with typed links that constrain how nets compose.
-
The Token Language
An interpreted language for Petri net token models with guards, invariants, and data state semantics.