Deadlock checking for one-place unbounded Petri nets based on modified reachability trees

被引：32
|
作者：
Ding, ZhiJun [1 ]
Jiang, ChangJun [2 ]
Zhou, MengChu [3 ,4 ]
机构：
[1] Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266510, Peoples R China
[2] Tongji Univ, Dept Comp Sci & Engn, Shanghai 201804, Peoples R China
[3] New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA
[4] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
来源：
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS | 2008年 / 38卷 / 03期
关键词：
automated manufacturing systems; deadlock; Petri net; reachability tree;
D O I：
10.1109/TSMCB.2008.917177
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A deadlock-checking approach for one-place unbounded Petri nets is presented based on modified reachability trees (MRTs). An MRT can provide some useful information that is lost in a finite reachability tree, owing to MRT's use of the expression a + bn(j) rather than symbol omega to represent the value of the components of a marking. The information is helpful In property analysis of unbounded Petri nets. For the dead lock-checking purpose, this correspondence paper classifies full conditional nodes in MRT into two types: true and fake ones. Then, an algorithm is proposed to determine whether a full conditional node is true or not. Finally, a necessary and sufficient condition of deadlocks is presented. Examples are given to illustrate the method.
引用
收藏
页码：881 / 883
页数：3
相关论文
共 43 条
  • [21] Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons
    ShouGuang Wang
    WenHui Wu
    Jing Yang
    Journal of Intelligent Manufacturing, 2015, 26 : 321 - 330
  • [22] Deadlock analysis and control based on Petri nets: A siphon approach review
    Hou, YiFan
    Barkaoui, Kamel
    ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (05)
  • [23] Deadlock analysis of Petri nets based on the resource share places relationship
    Kim, Sanghwan
    Lee, Sangho
    Lee, Jongkun
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 59 - 64
  • [24] Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection
    Du, Yunkai
    Gu, Naijie
    PROCEEDINGS OF 2015 THIRD INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR), 2015, : 75 - 81
  • [25] Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection
    Du, Yunkai
    Gu, Naijie
    Zhou, Xin
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2016, E99D (12): : 2978 - 2985
  • [26] A Survey of Petri Nets Supervision Based on Place Invariants
    Wang, Shouguang
    Yu, Junwen
    Zhao, Liangxu
    PROCEEDINGS OF ANNUAL CONFERENCE OF CHINA INSTITUTE OF COMMUNICATIONS, 2010, : 189 - 193
  • [27] Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation
    Hou, YiFan
    Zhao, Mi
    Liu, Ding
    ASIAN JOURNAL OF CONTROL, 2016, 18 (01) : 206 - 223
  • [28] Deadlock Control of Automated Manufacturing Systems Based on Petri Nets-A Literature Review
    Li, ZhiWu
    Wu, NaiQi
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2012, 42 (04): : 437 - 462
  • [29] State feedback based deadlock-free supervisor synthesis for bounded Petri nets
    Ru, Y
    Wu, WM
    Su, HY
    Chu, J
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1666 - 1671
  • [30] Online Fault Diagnosis of Labeled Petri Nets Based on Reachability Graphs and Topological Sorting
    Wang, Ya
    Yin, Li
    Zhu, Guanghui
    IEEE ACCESS, 2020, 8 : 162363 - 162372
12345