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 条
  • [31] Non-blocking step state-feedback supervisory control of discrete event systems using interpreted Petri nets
    Santoyo-Sanchez, A.
    Aguirre-Salas, L. I.
    Villanueva-Novelo, C.
    De Jesus-Velasquez, C.
    2009 6TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTING SCIENCE AND AUTOMATION CONTROL (CCE 2009), 2009, : 216 - +
  • [32] Look-ahead control of conveyor-serviced production station by using potential-based online policy iteration
    Hao, Tang
    Tamio, Arai
    INTERNATIONAL JOURNAL OF CONTROL, 2009, 82 (10) : 1917 - 1928
  • [33] Accelerated one-step generation of full-color holographic videos using a color-tunable novel-look-up-table method for holographic three-dimensional television broadcasting
    Kim, Seung-Cheol
    Dong, Xiao-Bin
    Kim, Eun-Soo
    SCIENTIFIC REPORTS, 2015, 5
1234