-
Categorical Net Types
How differentiated Petri net types form a category with typed links as morphisms, enabling compositional system design.
-
Revisiting the Flows
Reflecting on old ideas with new tools — from Petri nets to proofs, from Bash scripts to composable universes.