Petri网粘合的本质
The Essence of Petri Net Gluings
AI总结：
本文提出一个在组合Petri网时尊重其语义的范畴框架，并证明其能推广先前通过资源共享或变迁同步进行粘合的方法。
摘要：
已有许多范畴框架被提出，用于形式化地将Petri网相互粘合的思想。这些框架通过资源共享或变迁同步来对网粘合进行建模。当考虑带有语义的Petri网时，赋予这些粘合的解释或多或少令人满意。在本工作中，我们定义了一个框架来组合Petri网，使得它们的语义得到尊重。此外，我们展示了我们的框架如何推广先前定义的框架。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
