Siphon-based deadlock prevention policy for flexible manufacturing systems

被引:164
作者
Huang, Yi-Sheng [1 ]
Jeng, MuDer
Xie, Xiaolan
Chung, Da-Hsiang
机构
[1] Natl Def Univ, Chung Cheng Inst Technol, Dept Elect & Elect Engn, Taoyuan 335, Taiwan
[2] Natl Taiwan Ocean Univ, Dept Elect Engn, Taipei, Taiwan
[3] Ecole Natl Super Mines, F-42023 St Etienne 2, France
[4] Natl Def Univ, Sch Def Sci, Chung Cheng Inst Technol, Taoyuan 335, Taiwan
来源
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS | 2006年 / 36卷 / 06期
关键词
deadlock; manufacturing systems; Petri nets; siphon;
D O I
10.1109/TSMCA.2006.878953
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
A siphon-based algorithm for deadlock prevention of a type of Petri nets called (SPMR)-P-3, which is a subclass of S(3)PGR(2), is presented in this correspondence. The proposed method is an iterative approach by adding two kinds of control places called ordinary control (OC) places and, weighted control (WC) places to the original model to prevent siphons from being unmarked. An OC place with ordinary arcs, which optimally prevent a siphon from becoming unmarked, is employed whenever it is possible, and otherwise, the WC places that adopt a conservative policy of controlling the release of parts into the system are used. Furthermore, this algorithm is not only for the subclass Petri nets but also for (SPR)-P-3, (ESPR)-P-3, (SLSPR)-L-2, and S(3)PGR(2) nets. The authors prove the liveness and reversibility of the controlled net, and hence establish the correctness of the deadlock prevention policy. Finally, numerical experiments indicate that the proposed policy appears to be more permissive than closely related approaches in the literature.
引用
收藏
页码:1248 / 1256
页数:9
相关论文
共 20 条
  • [1] Barkaoui K., 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95 (Cat. No.95TH8056), P499, DOI 10.1109/ETFA.1995.496690
  • [2] Deadlock analysis of Petri nets using siphons and mathematical programming
    Chu, F
    Xie, XL
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (06): : 793 - 804
  • [3] A PETRI-NET BASED DEADLOCK PREVENTION POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS
    EZPELETA, J
    COLOM, JM
    MARTINEZ, J
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (02): : 173 - 184
  • [4] Event-based feedback control for deadlock avoidance in flexible production systems
    Fanti, MP
    Maione, B
    Mascolo, S
    Turchiano, B
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (03): : 347 - 363
  • [5] DISPATCHING-DRIVEN DEADLOCK-AVOIDANCE CONTROLLER SYNTHESIS FOR FLEXIBLE MANUFACTURING SYSTEMS
    HSIEH, FS
    CHANG, SC
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1994, 10 (02): : 196 - 209
  • [6] Huang YS, 2001, IEEE INT CONF ROBOT, P541, DOI 10.1109/ROBOT.2001.932606
  • [7] Deadlock prevention policy based on Petri nets and siphons
    Huang, YS
    Jeng, M
    Xie, XL
    Chung, SL
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2001, 39 (02) : 283 - 305
  • [8] Design of T-liveness enforcing supervisors in Petri nets
    Iordache, MV
    Antsaklis, PJ
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (11) : 1962 - 1974
  • [9] Synthesis of deadlock prevention supervisors using Petri nets
    Iordache, MV
    Moody, JO
    Antsaklis, PJ
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2002, 18 (01): : 59 - 68
  • [10] Analysis of modularly composed nets by siphons
    Jeng, MD
    Xie, XL
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (04): : 399 - 406