如何找到一个与复位弧相当的Petri网的普通Petri网？这个普通网必须尊重重置Petri网的语义。
最好的问候。
答案 0 :(得分：2)
在任何有意义的意义上都不可能找到一个普通的Petri网，它等同于具有复位弧的任意Petri网。
众所周知，具有至少一个复位弧的Petri网类别比普通Petri网更具表现力。
在他们的1977 paper Toshiro Araki和Tadao Kasami通过将Minsky计数器自动机（见定理5）减少到具有复位弧的Petri网证明了具有复位弧的Petri网的可达性问题是不可判定的。
1981年Ernst Mayr presented an algorithm了解普通Petri网的可达性问题。
如果可以通过算法定义从具有复位弧的Petri网到普通Petri网的减少，则两个类的可达性问题将具有相同的可判定性状态。这两个结果表明情况并非如此，因此这种减少是不可能的。
上面引用的论文需要一些技术知识才能阅读，而CompSci学生通常不会这样做。关于这个主题的背景，我会建议原始的＆＃34;计算：有限和无限的机器＆＃34;由M.L.明斯基或任何关于计算机科学逻辑的现代介绍性文本。