关于Petri环面的归约与合成
分布式、并行与集群计算
2026-03-13 v4 计算机科学中的逻辑
摘要
环面是用于建模动作和事件过程的特定Petri网，属于Petri一般系统理论的基础。通过四个参数定义，它们提供了一种代数形式来描述强同步的顺序过程。为了进一步研究其结构，以重写系统的风格定义了环面的归约系统，并证明了不可约环面的性质。特别是，从Petri网结构推导出了环面参数的合成，从而为环面同构的判定过程提供了一种高效方法。
引用
@article{arxiv.2405.21025,
title = {On Reduction and Synthesis of Petri's Cycloids},
author = {Rüdiger Valk and Daniel Moldt},
journal= {arXiv preprint arXiv:2405.21025},
year = {2026}
}