【发布时间】：2015-02-19 10:50:54
【问题描述】：
如何找到一个普通的Petri网等价于带有reset arc的Petri网？这个普通的网络必须尊重重置 Petri 网络的语义。
最好的问候。
【问题讨论】：
【发布时间】：2015-02-19 10:50:54
【问题描述】：
不可能找到一个普通的 Petri 网，它等同于具有任何有意义的复位弧的任意 Petri 网。
众所周知，具有至少一个复位弧的 Petri 网类比普通 Petri 网更严格地表达。
在他们 1977 年的 paper Toshiro Araki 和 Tadao Kasami 中，通过将 Minsky 计数器自动机（参见定理 5）简化为具有重置弧的 Petri 网，证明了具有重置弧的 Petri 网的可达性问题是不可判定的。
1981 年 Ernst Mayr presented an algorithm 解决普通 Petri 网的可达性问题。
如果可以通过算法定义从具有重置弧的 Petri 网到普通 Petri 网的约简，则两个类的可达性问题将具有相同的可判定性状态。这两个结果表明情况并非如此，因此这种减少是不可能的。
上面引用的论文需要阅读一些 CompSci 学生通常不具备的技术知识。对于这个主题的背景，我建议 M.L. 的原始“计算：有限和无限机器”。 Minsky 或任何关于计算机科学逻辑的现代介绍性文本。
【讨论】：