Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets
Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets
复制标题
复杂可达树及其在无界 Petri 网死锁检测中的应用
DOI：
10.1109/tsmc.2017.2692262
复制
发表时间：
2019-06
影响因子：
8.7
通讯作者：
Duan Hua
中科院分区：
文献类型：
--
作者：
Lu Faming;Zeng Qingtian;Zhou MengChu;Bao Yunxia;Duan Hua
死锁检测在系统行为分析中起着重要的作用。几种可达树已经被提出来分析Petri网的性质，包括死锁自由度。然而，现有的可达树只能解决有界或某些特殊类型的无界Petri网的死锁检测问题。为了扩大可达树在死锁检测领域的应用范围，提出了一种新的可达树--复合可达树（CRT）。与其他方法不同的是，循环CRT的根起始路径对应的转换序列总是可以从初始标记开始触发的。所提出的树可以完全解决${\omega }$ -gone无节点Petri网的死锁检测问题，但不能保证检测到其他类型无界Petri网的所有死锁。介绍了它们的构造方法和应用。
Deadlock detection plays an important role in the analysis of system behavior. Several kinds of reachability trees have been proposed to analyze Petri net properties including deadlock freedom. However, existing reachability trees can only solve the deadlock detection problem of bounded or some special kinds of unbounded Petri nets. To increase the applicable scope of reachability trees in the deadlock detection field, this paper presents a new type of reachability trees called complex reachability tree (CRT). Different from others, transition sequences corresponding to root-started paths of cyclic CRTs are always firable from the initial marking. The proposed trees can completely solve the deadlock detection problem of ${\omega }$ -gone node-free Petri nets, but cannot guarantee to detect all the deadlocks for the other kinds of unbounded Petri nets. Their construction method and applications are presented.
登录
查看更多内容
支持迁移且容易出错的云的随机建模和性能分析
DOI：
10.1109/tii.2015.2405792
发表时间：
2015-02
期刊：
IEEE Trans. Industrial Informatics
影响因子：
--
作者：
夏云霓;周孟初;罗辛;庞善臣
通讯作者：
庞善臣
DOI：
10.1109/tcsi.2006.876811
发表时间：
2006-10
期刊：
IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society
影响因子：
--
作者：
Yu Ru;Weimin Wu;C. Hadjicostis
通讯作者：
Yu Ru;Weimin Wu;C. Hadjicostis
DOI：
10.1109/tsmc.2013.2277696
发表时间：
2014-04
期刊：
IEEE Transactions on Systems, Man, and Cybernetics: Systems
影响因子：
--
作者：
Yuyue Du;Liang Qi;Mengchu Zhou
通讯作者：
Yuyue Du;Liang Qi;Mengchu Zhou
DOI：
10.1145/828.322441
发表时间：
1984-06
期刊：
J. ACM
影响因子：
--
作者：
A. Datta;Sukumar Ghosh
通讯作者：
A. Datta;Sukumar Ghosh
受资源和不确定持续时间限制的应急响应过程的 E-Net 建模与分析
DOI：
10.1109/tsmc.2014.2330555
发表时间：
2015-01-01
影响因子：
8.7
作者：
Liu, Cong;Zeng, Qingtian;Cheng, Jiujun
通讯作者：
Cheng, Jiujun