Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets

Faming Lu; Qingtian Zeng; MengChu Zhou; Yunxia Bao; Hua Duan

首页> 外文期刊>Systems, Man and Cybernetics, IEEE Transactions on >Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets

【24h】

Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets

机译：复杂可及树及其在无穷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 deadl

机译：死锁检测在系统行为分析中起着重要作用。已经提出了几种可到达性树来分析Petri网属性，包括死锁自由度。但是，现有的可达性树只能解决问题

著录项

来源
《Systems, Man and Cybernetics, IEEE Transactions on》 |2019年第6期|1164-1174|共11页
作者
Faming Lu; Qingtian Zeng; MengChu Zhou; Yunxia Bao; Hua Duan;
展开▼
作者单位

Shandong Province Key Laboratory of Wisdom Mine Information Technology Shandong University of Science and Technology Qingdao China;

Shandong Province Key Laboratory of Wisdom Mine Information Technology Shandong University of Science and Technology Qi;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Petri nets; System recovery; Cathode ray tubes; Art; Cybernetics; Embedded systems; Service computing;

机译：培养皿;系统恢复;阴极射线管;艺术;控制论;嵌入式系统;服务计算;

相似文献

外文文献
中文文献
专利

1. Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees [J] . Ding Z., Jiang C., Zhou M. IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics . 2008,第3期

机译：基于修改的可达树的一处无界Petri网的死锁检查
2. A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets [J] . Wang S., Zhou M., Li Z., Systems, Man, and Cybernetics: Systems, IEEE Transactions on . 2013,第4期

机译：一种新的改进的可达树方法及其在无穷Petri网中的应用
3. Deadlock detection-oriented unfolding of unbounded Petri nets [J] . Lu Faming, Tao Ranran, Du Yuyue, Information Sciences: An International Journal . 2019,第期

机译：死锁检测导向无限的培养网的展开
4. New reachability trees for unbounded Petri nets [C] . ShouGuang Wang, MengChu Zhou, MengDi Gan, IEEE International Conference on Robotics and Automation . 2015

机译：无界Petri网的新可达树
5. A Geometric Approach to Integer Optimization and Its Application for Reachability Analysis in Petri Nets. [D] . Gu, Shenshen. 2009

机译：整数优化的几何方法及其在Petri网可达性分析中的应用。
6. The Probability of a Gene Tree Topology within a Phylogenetic Network with Applications to Hybridization Detection [O] . Yun Yu, James H. Degnan, Luay Nakhleh 2012

机译：系统发育网络内基因树拓扑的可能性及其在杂交检测中的应用
7. Modeling and Analysis of a Manufacturing System with Deadlocks to Generate the Reachability Tree Using Petri Net System [O] . Patel Ajay M., Joshi Anand Y. 2013

机译：具有Petri网系统的死锁制造系统生成可达性树的建模与分析
8. Efficient Detection of Deadlocks in Petri Nets [R] . Varpaaniemi, K. 1993

机译：petri网中死锁的有效检测

Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets

摘要

著录项

相似文献

相关主题

期刊订阅