刘冠军;蒋昌军 关于弱持久性网的生存条件。 （英语） Zbl 1202.68265号 信息处理。莱特。 109，第16号，967-970（2009）. 摘要：本文首先证明了弱持久网络中的每个极小信标如果其预设为非空，则是一个陷阱。因此，如果弱持久性网络对于初始标记是活动的，则每个最小信标都包含一个标记陷阱。其次，证明了如果弱持久网络额外满足非对称选择性质或内在公平性，则每个最小虹吸管包含标记陷阱的条件对于弱持久网络的生存性是必要的和充分的。 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：形式化方法;弱持久网络;非对称选择网;本质公平网;活力 PDF格式BibTeX公司 XML格式引用 \textit{G.Liu}和\textit{C.Jiang}，Inf.Process。莱特。109，第16号，967--970（2009；Zbl 1202.68265） 全文： 内政部 参考文献： [1] Yamasaki，H.，关于Petri网的弱持久性，Inform。过程。莱特。，13, 3, 94-97 (1981) ·Zbl 0473.68058号 [2] Hiraishi，K。；Ichikawa，A.，关于Petri网弱持久性和半线性的结构条件，理论。计算。科学。，93, 2, 185-199 (1992) ·Zbl 0745.68081号 [3] 戴塞尔，J。；Esparza，J.，《自由选择Petri网》（1995），剑桥大学出版社·Zbl 0836.68074号 [4] Chu，F。；Xie，X.L.，使用信标和数学编程的Petri网死锁分析，IEEE Trans。机器人。自动化。，13, 6, 793-804 (1997) [5] Wang，P.L。；吴振华，弱公平Petri网的判定条件，中国计算机学会。，17，608-611（1994），（中文） [6] 莱曼，D。；普努利，A。；Stavi，J.，《公正、正义和公平：同时终止的伦理》（Proc.ALP 81）。程序。ALP 81，LNCS，第115卷（1981），施普林格），264-277·Zbl 0468.68026号 [7] Francez，N.，《公平》（1986），《施普林格：柏林施普林格》·Zbl 0602.68007号 [8] 贝斯特，E。；Shields，M.W.，《自由选择网和简单网以及活性自由选择网的周期性的一些等价结果》（Proc.CAAP’83）。程序。CAAP’83，LNCS，第159卷（1983），施普林格），141-151·Zbl 0531.68015号 [9] Tanirnoto，S。；山内，M。；Watanabe，T.，《在一般Petri网中寻找最小虹吸管》，IEICE Trans。基金。，E79-A，11，1817-1824（1996） [10] 刘国杰。；江春杰，基于关联矩阵的Petri网重复向量和信标计算方法，《信息科学杂志》。工程师，25121-136（2009） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。