1 citations · 1 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.CT2021
Composing Behaviors of Networks
Jade Master
This thesis aims to develop a compositional theory for the operational semantics of networks. The networks considered are described by either internal or enriched graphs. In the in…
math.CT2021
Categories of Nets
John C. Baez, Fabrizio Genovese, Jade Master +1
We present a unified framework for Petri nets and various variants, such as pre-nets and Kock's whole-grain Petri nets. Our framework is based on a less well-studied notion that we…