$b$-有界Petri网的合成复杂性
摘要：对于固定类型的Petri网，$au$-合成是找到给定过渡系统$A$的一种类型为$au$的Petri网($au$-网)，如果存在这样的$au$-网，使得其可达性图同构于$A$。这个搜索问题的决策版本被称为$au$-可解性。如果输入$A$允许正面决策，那么它被称为$au$-可解的，并且要找到的网络$N$ $au$-解决了$A$。众所周知， $A$是$au$-可解的当且仅当它具有所谓的$au$-事件状态分离性质($au$-ESSP)和$au$-状态分离性质($au$-SSP)。关于$A$是否具有$au$-ESSP或$au$-SSP的问题也可以定义决策问题。在本文中，我们完全刻画了纯$b$-有界 Place/Transition 网、$b$-有界 Place/Transition 网以及它们相应的$mathbb{Z}_{b+1}$-扩展的$au$-可解性、$au$-ESSP和$au$-SSP的计算复杂性。
作者：Ronny Tredup
论文ID：2106.15256
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-06-22