One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets

被引：52
|
作者：
Wu, Naiqi [1 ]
Zhou, Mengchu [2 ,3 ]
Hu, Gang [1 ]
机构：
[1] Guangdong Univ Technol, Sch Electromech Engn, Dept Ind Engn, Guangzhou 510006, Guangdong, Peoples R China
[2] Tongji Univ, Minist Educ, Key Lab Embedded Syst & Serv Comp, Shanghai 201804, Peoples R China
[3] New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA
来源：
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS | 2013年 / 12卷 / 01期
关键词：
Algorithms; Performance; Deadlock avoidance; automated manufacturing systems (AMS); Petri net; discrete event systems; supervisory control; FLEXIBLE MANUFACTURING SYSTEMS; RESOURCE-ALLOCATION SYSTEMS; PREVENTION POLICY; ELEMENTARY SIPHONS; DEPENDENT SIPHONS; AVOIDING DEADLOCK; AVOIDANCE; RESOLUTION; ALGORITHM; DESIGN;
D O I：
10.1145/2406336.2406346
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
It is desired that a deadlock control policy for automated manufacturing systems (AMS) is maximally permissive. However, its tractability issue remains open, and this work addresses this important issue. It models AMS with a resource-oriented Petri net (ROPN) and presents a necessary and sufficient condition under which there exists a one-step look-ahead maximally permissive control policy for deadlock avoidance in AMS. It further identifies some conditions under which a one-step look-ahead maximally permissive deadlock control policy exists for a single-capacity system. The conditions can be conveniently examined by using the developed ROPN model.
引用
收藏
页数：23
相关论文
共 33 条
  • [1] On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets
    Lin, Rongfeng
    Yu, Zhenhua
    Shi, Xiaonan
    Dong, Lihong
    Nasr, Emad Abouel
    IEEE ACCESS, 2020, 8 : 170421 - 170432
  • [2] Iterative Deadlock Control by Using Petri Nets
    Wang, AnRong
    Li, ZhiWu
    Zhou, MengChu
    Al-Ahmari, Abdulrahman M.
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2012, 42 (06): : 1204 - 1218
  • [3] A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
    Chen, Hefeng
    Wu, NaiQi
    Zhou, MengChu
    INFORMATION SCIENCES, 2016, 363 : 178 - 189
  • [4] One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy
    Karoui, Oussama
    Li, Zhiwu
    Wu, Naiqi
    Khalgui, Mohamed
    Nasr, Emad Abouel
    El-Tamimi, Abdulaziz Mohammed
    IEEE ACCESS, 2018, 6 : 34307 - 34323
  • [5] An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets
    Li, Shaoyong
    Wei, Xianhong
    Cai, Ying
    Ma, Bingshan
    Hou, Caiqin
    Han, Xilian
    Hong, Liang
    ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (11)
  • [6] On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets
    Chen, HeFeng
    Wu, NaiQi
    Li, ZhiWu
    Qu, Ting
    ISA TRANSACTIONS, 2019, 89 : 67 - 76
  • [7] On near-optimal deadlock control for a class of generalized Petri nets using reachability graph
    Hou, YiFan
    Uzam, Murat
    Zhao, Mi
    Li, ZhiWu
    ENGINEERING COMPUTATIONS, 2017, 34 (06) : 1896 - 1922
  • [8] Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets
    Li, Shao Yong
    Li, Zhi Wu
    Hu, He Suan
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2011, 24 (08) : 710 - 725
  • [9] Maximally Permissive Supervisor Synthesis Using Reachability and Structural Analysis of Petri Nets
    Chen, Hefeng
    Wu, Naiqi
    Li, Zhiwu
    PROCEEDINGS OF THE 2019 IEEE 16TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC 2019), 2019, : 230 - 235
  • [10] Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets
    Du, Nan
    Hu, He Suan
    IET CONTROL THEORY AND APPLICATIONS, 2019, 13 (11) : 1579 - 1590
1234