-
Categorical Net Types
How differentiated Petri net types form a category with typed links as morphisms, enabling compositional system design.
-
The Token Language
An interpreted language for Petri net token models with guards, invariants, and data state semantics.