An iterative Deadlock Prevention Policy Based on siphons

被引：0
|
作者：
Zhuang, Qiaoli [1 ]
Dai, Wenzhan [2 ]
Wang, Shouguang [2 ]
You, Dan [3 ,4 ]
Du, Jingjing [1 ]
机构：
[1] Zhejiang Sci Tech Univ, Sch Informat Sci & Technol, Hangzhou 310018, Zhejiang, Peoples R China
[2] Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China
[3] Univ Cagliari, Dept Elect & Elect Engn, I-09123 Cagliari, Italy
[4] Zhejiang Gongshang Univ, Hangzhou 310018, Zhejiang, Peoples R China
来源：
PROCEEDINGS OF THE 2019 IEEE 16TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC 2019) | 2019年
关键词：
Deadlock; siphon; iterative; MIP; FLEXIBLE MANUFACTURING SYSTEMS; LIVENESS-ENFORCING SUPERVISORS; PETRI-NET STRUCTURE; DESIGN;
D O I：
10.1109/icnsc.2019.8743210
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In deadlock prevention policies based on siphon control, the selection of a siphon to be controlled in each iteration may affect the structural complexity and the behavioral permissiveness of the controlled system. In this paper, an iterative deadlock prevention policy based on mixed integer programming (MIP) is introduced for a class of Petri nets called systems of sequential systems with shared resources ((SPR)-P-4). Some experiments show that the resultant system obtained by the proposed policy has simpler structure and more permissive behavior than those obtained from existing methods.
引用
收藏
页码：242 / 246
页数：5
相关论文
共 50 条
  • [41] A siphon-based deadlock prevention policy for flexible manufacturing systems
    Huang, YS
    Lin, JH
    Lin, JT
    INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 2530 - 2535
  • [42] A Deadlock Prevention Policy for a Class of Multithreaded Software
    Duo, Wenli
    Jiang, Xiaoning
    Karoui, Oussama
    Guo, Xin
    You, Dan
    Wang, Shouguang
    Ruan, Yuan
    IEEE ACCESS, 2020, 8 : 16676 - 16688
  • [43] Deadlock Prevention Policy for S4PR Nets Based on Siphon
    Zhuang, Qiaoli
    Dai, Wenzhan
    Wang, Shouguang
    Ning, Fan
    IEEE ACCESS, 2018, 6 : 50648 - 50658
  • [44] Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems
    Li, ZW
    Cao, WX
    Wang, AR
    2004 8TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1-3, 2004, : 515 - 520
  • [45] A PETRI-NET BASED DEADLOCK PREVENTION POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS
    EZPELETA, J
    COLOM, JM
    MARTINEZ, J
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (02): : 173 - 184
  • [46] A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets
    Wang, ShouGuang
    Guo, Xin
    Karoui, Oussama
    Zhou, MengChu
    You, Dan
    Abusorrah, Abdullah
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2023, 53 (01): : 191 - 203
  • [47] Comments on "Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems"
    Wang, Shouguang
    Wang, Chengying
    Yu, Yanping
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2011, 41 (02): : 338 - 340
  • [48] Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems
    Huang, Y
    Jeng, M
    Wen, Y
    2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 2327 - 2332
  • [49] Computation of elementary siphons in Petri nets for deadlock control
    Chao, Daniel Yuh
    COMPUTER JOURNAL, 2006, 49 (04): : 470 - 479
  • [50] Computation of elementary siphons in Petri nets for deadlock control
    Chao, Daniel Yuh
    Computer Journal, 2006, 49 (04): : 470 - 479
12345