关于 Petri ycloid 的化约与合成
分布式、并行与集群计算
2025-10-29 v2
摘要
ycloid 是 Petri 网中用于建模动作与事件过程的特定网，属于 Petri 通用系统理论的基本概念。由四个参数定义，ycloid 提供了一种代数形式来描述强同步的顺序过程。为进一步考察其结构，本文以重写系统的样式定义了ycloid 的化约系统，并证明了不可约ycloid 的性质。特别地，推导了从ycloid 的 Petri 网结构合成ycloid 参数的方法， leading to an efficient method for a decision procedure for cycloid isomorphism.
引用
@article{arxiv.2510.21493,
title = {On Reduction and Synthesis of Petri's Cycloids},
author = {Rüdiger Valk and Daniel Moldt},
journal= {arXiv preprint arXiv:2510.21493},
year = {2025}
}
备注
It should be a new version (v3) of 2405.21025 with the new title "On Reduction and Synthesis of Petri's Cycloids"