A Petri net structure-based deadlock prevention solution for sequential resource allocation systems

被引：0
|
作者：
Tricas, F [1 ]
García-Vallés, F [1 ]
Colom, JM [1 ]
Ezpeleta, J [1 ]
机构：
[1] Univ Zaragoza, Dept Informat & Ingn Sistemas, Zaragoza 50018, Spain
来源：
2005 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-4 | 2005年
关键词：
deadlock prevention; Petri nets;
D O I：
暂无
中图分类号：
TP24 [机器人技术];
学科分类号：
080202 ; 1405 ;
摘要：
A new method for the deadlock prevention problem in concurrent systems where a set of processes share a set of common resources in a conservative way is proposed. It can be applied to flexible manufacturing systems, modeled with Petri nets. In this paper, we present a set of important results related to the deadlock prevention problem in S-4 PR nets. First, a liveness characterization is introduced, establishing how deadlocks can be studied in terms of circular waits. Second, we show how a circular wait situation corresponds to a particular marking related to a siphon of the Petri net model. Finally, this last characterization is used to obtain an iterative method that successively forbids deadlock related states, synthesizing the control necessary to ensure a final live behavior. The method can be implemented by means of the solutions of a set of integer linear programming problems.
引用
收藏
页码：271 / 277
页数：7
相关论文
共 50 条
  • [1] Two Generalized-Petri-net-based Strategies for Deadlock Prevention in Resource Allocation Systems
    Hu, Hesuan
    Li, Zhiwu
    Zhou, Mengchu
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), VOLS 1-6, 2008, : 1947 - +
  • [2] The Deadlock Structure Character in Petri Net Models of Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings
    Yue Hao
    [J]. PROCEEDINGS OF THE 29TH CHINESE CONTROL CONFERENCE, 2010, : 5296 - 5299
  • [3] Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems
    Li, ZhiWu
    Liu, GaiYun
    Hanisch, Hans-Michael
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (01): : 178 - 191
  • [4] Deadlock prevention for sequence resource allocation systems
    Huang, Yi-Sheng
    [J]. JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2007, 23 (01) : 215 - 231
  • [5] Resource-oriented Petri Net-based Approach to Deadlock Prevention of AMSs
    Chen, Hefeng
    Wu, NaiQi
    Zhou, MengChu
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2015): BIG DATA ANALYTICS FOR HUMAN-CENTRIC SYSTEMS, 2015, : 515 - 520
  • [6] A PETRI-NET BASED DEADLOCK PREVENTION POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS
    EZPELETA, J
    COLOM, JM
    MARTINEZ, J
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (02): : 173 - 184
  • [7] A Survey of Deadlock Prevention Policies Based on Petri Net
    Wu Wen-hui
    Zhang Qi
    [J]. INTERNATIONAL CONFERENCE OF CHINA COMMUNICATION (ICCC2010), 2010, : 764 - +
  • [8] Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets
    Ezpeleta, FTJ
    [J]. ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 322 - 329
  • [9] A Petri net based deadlock avoidance controller for manufacturing systems with multiple resource service
    Xing, Keyi
    Tian, Feng
    Li, Junmin
    Qu, Shengli
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 812 - 817
  • [10] Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages
    Reveliotis, Spyros
    Fei, Zhennan
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2017, 14 (04) : 1695 - 1711
12345