Petri网中的资源等价性是可判定的
摘要：资源相似性和资源双相性的Petri网标记是Petri网模型中的资源的一个子多重集。当在任何标记中用另一个资源替换其中一个资源不会改变可观察的Petri网行为时，我们将两个资源视为等效。我们考虑资源相似性和资源双相性，它们是Petri网标记上的双相等价的一致约束。先前已经证明了资源相似性（包含在双相等价关系中的最大一致性）是不可判定的。在这里，我们提出了一种检查资源双相性的算法，从而证明了这个关系（是一个双相等价关系的最大一致性）是可判定的。我们还给出了一个Petri网中两个相似但不是双相的资源的示例。
作者：Irina Lomazova, Vladimir Bashkin and Petr Janv{c}ar (Dept of Computer Science, Faculty of Science, Palack''y University in Olomouc, Czech Republic)
论文ID：2101.07711
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22