The Essence of Petri Net Gluings
Category Theory
2023-06-28 v3 Distributed, Parallel, and Cluster Computing
Formal Languages and Automata Theory
Abstract
Many categorical frameworks have been proposed to formalize the idea of gluing Petri nets with each other. Such frameworks model net gluings in terms of sharing of resources or synchronization of transitions. Interpretations given to these gluings are more or less satisfactory when we consider Petri nets with a semantics attached to them. In this work, we define a framework to compose Petri nets together in such a way that their semantics is respected. In addition to this, we show how our framework generalizes the previously defined ones.
Keywords
Cite
@article{arxiv.1909.03518,
title = {The Essence of Petri Net Gluings},
author = {Fabrizio Genovese and Fosco Loregian and Daniele Palombi},
journal= {arXiv preprint arXiv:1909.03518},
year = {2023}
}
Comments
24 pages, 7 pages appendix, 31 figures