小型多项式时间通用 Petri 网
计算复杂性
2013-09-30 v1
摘要
作者于 2013 年提出的具有 (14,42) 和 (14,29) 库所/变迁数对的小型通用 Petri 网，其时间复杂度曾被估计为指数级。本文表明，对其稍作修改并将其解释为作者于 1991 年引入的具有多通道变迁的定时 Petri 网，可实现多项式时间复杂度。该修改仅涉及使用抑制弧来控制多次实例中变迁的触发，并采用由零移动表示的逆控制流。因此，小型通用 Petri 网是高效的，这证明了其作为高性能计算模型的适用性。
引用
@article{arxiv.1309.7288,
title = {Small Polynomial Time Universal Petri Nets},
author = {Dmitry A. Zaitsev},
journal= {arXiv preprint arXiv:1309.7288},
year = {2013}
}
备注
arXiv admin note: text overlap with arXiv:1309.1274