×
阿伦·程;哈维尔·埃斯帕尔扎;延斯·帕尔斯伯格

1-安全网的复杂性结果。 （英语） Zbl 0873.68146号

西奥。计算。科学。 147，编号1-2，117-136（1995）.
摘要：我们研究了1-安全Petri网及其一些子类的几个标准问题的复杂性。我们证明了1-安全网的可达性、活性和死锁都是PSPACE-完全的。我们还证明了死锁对于自由选择网和1-安全自由选择网都是NP-完全的。最后，我们证明了对于任意Petri网，死锁等价于可达性和活性。

引用于32文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）

关键词：

1-安全Petri网
PDF格式BibTeX公司 XML格式引用
\textit{A.Cheng}等人，Theor。计算。科学。147，编号1--2，117-136（1995；Zbl 0873.68146）
全文： DOI程序

参考文献：

[1] Bernardinello，L。；De Cindio，F.，《基本网络模型和模块化网络类的调查》（《Petri网进展》，1992年）。《Petri网进展》1992，计算机科学讲义，第609卷（1992），施普林格：施普林格柏林），304-351·Zbl 1509.68017号
[2] 贝斯特，E。；Desel，J.，Petri网的偏序行为和结构，形式方面计算。，2, 123-138 (1990) ·Zbl 0697.68061号
[3] 贝斯特，E。；Fernández，C.，《非序列过程-Petri网视图》，（EATCS理论计算机科学专著，第13卷（1988），Springer:Springer-Blin）·Zbl 0656.68005号
[4] 贝斯特，E。；Thiagarajan，P.S.，《活的和保存的Petri网的一些类》（Voss，K.；Genrich，H.J.；Rozenberg，G.，《Petri网进展》（1987），施普林格：施普林格柏林），71-94·Zbl 0634.68062号
[5] Cheng，A。；Esparaza，J。；Palsberg，J.，1-安全网的复杂性结果， （《FST和TCS 13号程序》、《软件技术和理论计算机科学基础第13次会议》、《FST&TCS 13》、《印度孟买软件技术和计算机理论科学基础第十三次会议》，第13届软件技术与理论计算机科学基础大会，印度孟买，计算机科学讲稿，第761卷（1993），施普林格：施普林格柏林），326-337·Zbl 0925.68329号
[6] Commoner，F。；霍尔特，A.W。；甚至，S。；Pnueli，A.，标记有向图，J.Compute。系统科学。，5, 511-523 (1971) ·Zbl 0238.05109号
[7] Desel，J.，《扩展自由选择网秩定理的证明》（Petri网的应用与理论，1992年）。Petri网的应用和理论1992，计算机科学讲义，第616卷（1992），施普林格：施普林格-柏林），134-153
[8] 戴塞尔，J。；Esparza，J.，《可逆自由选择系统中的可达性》（Proc.STACS’91）。程序。STACS’91，计算机科学讲稿，第480卷（1991），施普林格：施普林格柏林），384-397·Zbl 0773.68056号
[9] Esparza，J.，使用网络展开进行模型检查，科学。计算。程序。，23, 151-195 (1994) ·兹伯利0834.8087
[10] 埃斯帕尔扎，J。；Nielsen，M.，《petri网的可决定性问题——一项调查》（Inform.Process.Cybernet，EIK）。通知。过程。网络。（EIK），《EATCS公报》，第52卷（1984年），第245-262页，即将出版·Zbl 0791.68123号
[11] 埃斯帕尔扎，J。；Silva，M.，决定有界自由选择网活性的多项式时间算法，Theoret。计算。科学。，102, 185-205 (1992) ·Zbl 0776.68090号
[12] Garey，M.R。；Johnson，D.S.，《计算机与难治性》（1979），弗里曼：弗里曼纽约·Zbl 0411.68039号
[13] Genrich，H.J。；Lautenbach，K.，Synchronisationsgraphen，Acta Inform。，2143-161（1973年）·Zbl 0244.68026号
[14] Godefroid，P.，《使用部分命令改进自动验证方法》，（《90年计算机辅助验证第二次研讨会论文集》，《90年CAV论文集，第二次计算机辅助验证研讨会论文集，计算机科学讲义》，第531卷（1990年），《施普林格：施普林格-柏林》），176-185·Zbl 0765.68122号
[15] Hack，M.，用Petri网分析生产模式，（硕士论文（1972），麻省理工学院）
[16] Hack，M.，Petri网和向量加法系统可达性问题和活性问题的递归等价，（Proc.15th Ann.Symp.on Switching and Automata Theory（1974）），156-164
[17] 哈克，M.，向量加法系统的等式问题是不可判定的，理论。计算。科学。，2, 77-95 (1976) ·Zbl 0357.68038号
[18] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979），Addison-Wesley:Addison-Whesley Reading，MA·Zbl 0196.01701号
[19] 豪厄尔，R.R。；Rosier，L.E.，无冲突向量替换系统的完整性结果，J.Compute。系统科学。，37, 349-366 (1988) ·Zbl 0661.68061号
[20] 豪厄尔，R.R。；Rosier，L.E.，关于无冲突Petri网的公平性和时间逻辑的问题，定理。计算。科学。，64, 3, 305-329 (1989) ·Zbl 0673.68040号
[21] Jategaonkar，L。；Meyer，A.，确定有限安全网上的真正并发等价，（Proc.ICALP’93（1993）），519-531·Zbl 1422.68170号
[22] 琼斯，N.D。；Landweber，L.H。；Lien，Y.E.，Petri网中一些问题的复杂性，Theoret。计算。科学。，4, 277-299 (1977) ·Zbl 0357.68048号
[23] 兰德韦伯，L.H。；Robertson，E.L.，无冲突和持久Petri网的性质，J.ACM，3，352-364（1975）·Zbl 0384.68062号
[24] Lipton，R.J.（可达性问题需要指数空间，耶鲁大学技术报告62（1976））
[25] Mayr，E.W.，一般Petri网可达性问题的算法，SIAM J.Compute。，13, 441-460 (1984) ·Zbl 0563.68057号
[26] Mazurkiewicz，A.，跟踪理论，（Petri网：与其他并发模型的应用和关系。Petri网，与其他并发模式的应用和联系，计算机科学讲义，第255卷（1986），Springer:Springer-Blin），279-324·Zbl 0633.68051号
[27] McMillan，K.L.，《使用展开避免异步电路验证中的状态爆炸问题》，（CAV’92，第四届计算机辅助验证研讨会（1992）），164-174
[28] 尼尔森，M。；Rozenberg，G。；Thiagarajan，P.S.，基本网络系统的行为概念，Distrib.Comput。，4, 1, 45-57 (1990)
[29] Peterson，J.L.，《Petri网理论与系统建模》（1981），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0461.68059号
[30] Reisig，W.，Petri Nets-简介，（EATCS计算机科学专著，第4卷（1985），施普林格：施普林格-柏林）·Zbl 0521.68057号
[31] Starke，P.H.，Analyse von Petri-Netz-Modellen（1990年），Teubner:Teubner Stuffgart·Zbl 0724.68002号
[32] Stewart，I.ain A.，基金。通知。，（关于某些类别Petri网的可达性问题，Res.Report（1992），纽卡斯尔大学泰恩分校），即将出版。
[33] Thiagarajan，P.S.，《基本网络系统》（《1986年Petri网的进展》，第一部分，《1986年Petri网的发展》，第一章，《计算机科学讲义》，第254卷（1987），施普林格：施普林格柏林），26-59·Zbl 0636.68063号
[34] Valmari，A.，《简化状态空间生成的Stubborn集》（Rozenberg，G.，《Petri网的进展》，1990年）。1990年《Petri网进展》，计算机科学讲义，第483卷（1990年），施普林格：施普林格-柏林），491-515
[35] Winskel，G。；Nielsen，M.（并发模型，技术报告DAIMI PB-429（1992），奥胡斯大学计算机科学系）
[36] 作为《逻辑与计算机科学基础手册》的一章，牛津大学出版社。；作为一章出现在牛津大学出版社的《逻辑与计算机科学基础手册》中。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。