-
Categorical Net Types
How differentiated Petri net types form a category with typed links as morphisms, enabling compositional system design.
1 post tagged with "composition"
How differentiated Petri net types form a category with typed links as morphisms, enabling compositional system design.