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 条
  • [31] A Deadlock Prevention Policy for FMS Based on Time Constraints
    Guo, Jinwei
    Fan, Jingyang
    2014 IEEE INTERNATIONAL CONFERENCE ON CONTROL SCIENCE AND SYSTEMS ENGINEERING, 2014, : 115 - 120
  • [32] Controllability of Complex Siphons for Deadlock Prevention in Systems of Simple Sequential Processes with Resources
    Wang, ShouGuang
    You, Dan
    Zhou, MengChu
    2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2015, : 3820 - 3825
  • [33] Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems
    Li, ZW
    Zhou, MC
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (01): : 38 - 51
  • [34] A DEADLOCK PREVENTION APPROACH FOR A CLASS OF TIMED PETRI NETS USING ELEMENTARY SIPHONS
    Guo, Jinwei
    Li, Zhiwu
    ASIAN JOURNAL OF CONTROL, 2010, 12 (03) : 347 - 363
  • [35] An MIP-Based Deadlock Prevention Policy for Siphon Control
    Zhuang, Qiaoli
    Dai, Wenzhan
    Wang, Shouguang
    Du, Jingjing
    Tian, Qiuhong
    IEEE ACCESS, 2019, 7 : 153782 - 153790
  • [36] An iterative deadlock prevention approach for automated manufacturing systems
    Hu, H. S.
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) : 59 - 76
  • [37] On an iterative deadlock prevention approach for automated manufacturing systems
    Uzam, Murat
    Li, ZhiWu
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2014, 74 (1-4): : 503 - 507
  • [38] On an iterative deadlock prevention approach for automated manufacturing systems
    Murat Uzam
    ZhiWu Li
    The International Journal of Advanced Manufacturing Technology, 2014, 74 : 503 - 507
  • [39] Petri net based deadlock prevention policy for flexible manufacturing systems
    Universidad de Zaragoza, Zaragoza, Spain
    IEEE Trans Rob Autom, 2 (173-184):
  • [40] Siphon-based deadlock prevention policy for flexible manufacturing systems
    Huang, Yi-Sheng
    Jeng, MuDer
    Xie, Xiaolan
    Chung, Da-Hsiang
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2006, 36 (06): : 1248 - 1256
12345