Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding

被引：5
|
作者：
Liu, Guanjun [1 ,2 ]
Zhang, Kun [1 ]
Jiang, Changjun [2 ]
机构：
[1] Tongji Univ, Dept Comp Sci, Shanghai 201804, Peoples R China
[2] Tongji Univ, Key Lab Minist Educ Embedded Syst & Serv Comp, Shanghai 201804, Peoples R China
来源：
ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2016 | 2016年 / 10048卷
关键词：
Concurrent systems; Petri nets; Deadlock; Livelock; Partial order; BRANCHING-PROCESSES; LIVENESS;
D O I：
10.1007/978-3-319-49583-5_7
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Petri nets are widely used to model and analyse concurrent systems. It is an important study to check the deadlock and/or livelock in Petri nets. These checks are generally carried out by the reachability graph technique and thus the state explosion problem is a big obstacle to this technique. The unfolding technique can effectively avoid/alleviate the state explosion problem, especially for those Petri nets that have many concurrent actions. This paper considers the deadlock and livelock problem in a Petri net with a target state. We propose the notion of basic unfolding. Based on basic unfolding, we present a necessary and sufficient condition to decide whether a Petri net is both deadlock-free and livelock-free.
引用
收藏
页码：98 / 105
页数：8
相关论文
共 50 条
  • [21] A Petri net based deadlock avoidance controller for manufacturing systems with multiple resource service
    Xing, Keyi
    Tian, Feng
    Li, Junmin
    Qu, Shengli
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 812 - 817
  • [22] Resource-oriented Petri Net-based Approach to Deadlock Prevention of AMSs
    Chen, Hefeng
    Wu, NaiQi
    Zhou, MengChu
    2015 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2015): BIG DATA ANALYTICS FOR HUMAN-CENTRIC SYSTEMS, 2015, : 515 - 520
  • [23] The concurrent information flow model and deadlock analysis based on Petri net for multilevel management
    Zhang Li
    Mu Xiao-dong
    Qi Wei
    2008 CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-11, 2008, : 1872 - 1874
  • [24] Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems
    Li, ZhiWu
    Liu, GaiYun
    Hanisch, Hans-Michael
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (01): : 178 - 191
  • [25] Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems
    Uzam, M
    Zhou, MC
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4260 - 4265
  • [26] Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems
    Zeng, Guoqiang
    Wu, Weimin
    Zhou, MengChu
    Mao, Weijie
    Su, Hongye
    Chu, Jian
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 193 - +
  • [27] 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
  • [28] Petri net channelized-based deadlock prevention policy for flexible manufacturing systems
    Huang, Yi-Sheng
    Row, Ter-Chan
    EQUIPMENT MANUFACTURING TECHNOLOGY AND AUTOMATION, PTS 1-3, 2011, 317-319 : 552 - +
  • [29] Computation of the number of legal states for petri net-based deadlock prevention problems
    Gelen, Gokhan
    Uzam, Murat
    SIGMA JOURNAL OF ENGINEERING AND NATURAL SCIENCES-SIGMA MUHENDISLIK VE FEN BILIMLERI DERGISI, 2023, 41 (03): : 493 - 502
  • [30] 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
12345