蒋长军 一类同步合成Petri网合法触发序列问题的多项式时间算法。 (英语) Zbl 1125.68391号 科学。中国,Ser。F、。 44,第3期,226-233(2001). 摘要:据我们所知,对于一般Petri网,合法触发序列的测试问题是NP-完全的,这个问题关于多项式时间可解性的相关结果仅限于一些特殊的网络类,如持久Petri网、无冲突Petri网和状态机Petri网。本文讨论了同步合成网的语言特性。基于这些结果,提出了合法点火序列的多项式时间复杂度测试算法。因此,扩展了多项式时间可解性的网络分类方法,用于测试合法点火序列。 引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:Petri网;同步合成;合法点火顺序;测试算法;NP-完全问题;多项式时间复数 PDF格式BibTeX公司 XML格式引用 \textit{C.Jiang},科学。中国,Ser。F 44,编号3,226--233(2001;Zbl 1125.68391) 全文: 内政部