Petri 网粘合的本质
范畴论
2023-06-28 v3 分布式、并行与集群计算
形式语言与自动机理论
摘要
许多范畴论框架被提出来形式化将 Petri 网彼此粘合的思想。此类框架通过资源共享或变迁同步来建模网粘合。当我们考虑带有语义附加其上的 Petri 网时，对这些粘合给出的解释或多或少是令人满意的。在这项工作中，我们定义了一个将 Petri 网组合在一起的框架，使得它们的语义得到尊重。除此之外，我们展示了我们的框架如何推广先前定义的那些框架。
引用
@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}
}
备注
24 pages, 7 pages appendix, 31 figures