4 papers · 1 filter
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…
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…
The Open Algebraic Path Problem
Jade Master
The algebraic path problem provides a general setting for shortest path algorithms in optimization and computer science. This work extends the algebraic path problem to networks eq…
Petri Nets Based on Lawvere Theories
Jade Master
We give a definition of -net, a generalization of Petri nets based on a Lawvere theory , for which many existing variants of Petri nets are a special case.…