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 条
  • [31] Drop-on-Demand Inkjet Drop Control With One-Step Look Ahead Estimation of Model Parameters
    Wang, Jie
    Chiu, George T. -C.
    IEEE-ASME TRANSACTIONS ON MECHATRONICS, 2023, 28 (04) : 1993 - 2002
  • [32] Kalman Estimation Based One-Step Look Ahead Control of Data-driven with Ranbdom Parameters
    Wang, Jie
    Chin, George T. C.
    2022 AMERICAN CONTROL CONFERENCE, ACC, 2022, : 3360 - 3360
  • [33] Design of look-ahead cruise control using road and traffic conditions
    Gaspar, Peter
    Nemeth, Balazs
    2015 AMERICAN CONTROL CONFERENCE (ACC), 2015, : 3447 - 3452
  • [34] Energy Management of Hybrid Electric Urban Bus by Off-Line Dynamic Programming Optimization and One-Step Look-Ahead Rollout
    Tormos, Bernardo
    Pla, Benjamin
    Bares, Pau
    Pinto, Douglas
    APPLIED SCIENCES-BASEL, 2022, 12 (09):
  • [35] Design of look-ahead control for road vehicles using traffic information
    Gaspar, Peter
    Nemeth, Balazs
    2014 22ND MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2014, : 201 - 206
  • [36] A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
    Li Shaoyong
    Zhao Chunrun
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2020, 51 (05) : 771 - 785
  • [37] THE OPTIMAL VALUE OF MARKOV STOPPING PROBLEMS WITH ONE-STEP LOOK AHEAD POLICY
    YASUDA, M
    JOURNAL OF APPLIED PROBABILITY, 1988, 25 (03) : 544 - 552
  • [38] Using Theory of Regions with Selective Siphon Control for Deadlock Prevention Policy in Petri Nets
    Pan, Yen-Liang
    Huang, Yi-Sheng
    Jeng, Mu-Der
    Chung, Sheng-Luen
    PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2012, : 1189 - 1194
  • [39] 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
  • [40] Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets
    Wu, N.
    Zhou, M.
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2007, 45 (15) : 3439 - 3456
12345