良构自由选择 Petri 网再探
形式语言与自动机理论
2026-02-03 v1
摘要
自 1970 年代 MIT 的 Commoner 和 Hack 启动自由选择 Petri 网理论以来，这一领域已成为已建立的学科。我们重新审视那些容许既活跃又有界限标记的良构自由选择网 (well-formed free-choice nets)，通过引入半 T 组件来提供新的表征。这种概念是半 S 组件的对偶概念，而后者对应于众所周知的最小吸收子。通过强调这些双重概念之间的对称性，我们使用尽可能对称的论证推导了经典的 T 组件和 S 组件的可覆盖定理，以及对偶定理——即自由选择网是良构的当且仅当其逆对偶网也是良构的。
引用
@article{arxiv.2602.02352,
title = {Well-Formed Free-Choice Petri Nets Revisited},
author = {Petr Jancar and Eike Best and Raymond Devillers and Matej Ostadal},
journal= {arXiv preprint arXiv:2602.02352},
year = {2026}
}