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
相关论文
共 50 条
  • [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] OPTIMALITY OF ONE-STEP LOOK-AHEAD STOPPING TIMES
    ABDELHAMEED, M
    JOURNAL OF APPLIED PROBABILITY, 1977, 14 (01) : 162 - 169
  • [3] Maximally permissive and non blocking control of Petri nets using theory of regions
    Ghaffari, A
    Rezg, N
    Xie, X
    2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 1895 - 1900
  • [4] One-step look-ahead policy for active learning reliability analysis
    Pei, Pei
    Zhou, Tong
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2023, 236
  • [5] 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
  • [6] Maximally Permissive Distributed Control of Automated Manufacturing Systems with Assembly Operations Using Petri Nets
    Chen, Chen
    Hu, Hesuan
    2015 INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2015, : 532 - 538
  • [7] 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
  • [8] 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
  • [9] Maximally Permissive Robustness Control of Automated Manufacturing Systems Using Petri Nets and Inhibitor Arcs
    Yang, Benyuan
    Wang, Haitian
    Luo, Lili
    Du, Nan
    39TH YOUTH ACADEMIC ANNUAL CONFERENCE OF CHINESE ASSOCIATION OF AUTOMATION, YAC 2024, 2024, : 1751 - 1756
  • [10] Maximally permissive one-step control without redundancy for a class of discrete event systems
    Kong Zhi Li Lun Yu Ying Yong/Control Theory and Applications, 1997, 14 (04): : 507 - 512
12345