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.

翻译：许多范畴框架已被提出用于形式化彼得里网相互粘合的思想。这类框架通过资源共享或变迁同步来建模网的粘合。当考虑附有语义的彼得里网时，对这些粘合的解释或多或少存在不尽如人意之处。本文定义了一种在尊重其语义的前提下组合彼得里网的框架。此外，我们还展示了该框架如何推广先前定义的框架。