Deadlock prevention technique using additional transitions for Petri nets

被引：1
作者：
Huang, Yi-Sheng [1 ]
Row, Ter-Chan [2 ]
Wu, Weimin [3 ,4 ]
机构：
[1] Natl Ilan Univ, Dept Elect Engn, Ilan City, Taiwan
[2] Army Acad, Dept Elect Engn, Zhongli City, Taiwan
[3] Zhejiang Univ, State Key Lab Ind Control Technol, Hangzhou, Zhejiang, Peoples R China
[4] Zhejiang Univ, Inst Cyber Syst & Control, Hangzhou, Zhejiang, Peoples R China
来源：
JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS | 2018年 / 41卷 / 06期
基金：
中国国家自然科学基金;
关键词：
Petri net; system of simple sequential processes with resources (S3PR); deadlock prevention; FLEXIBLE MANUFACTURING SYSTEMS; RESOURCE-ALLOCATION SYSTEMS; LIVENESS-ENFORCING SUPERVISORS; SIPHON CONTROL; DEPENDENT SIPHONS; POLICY; AVOIDANCE; DESIGN; ELEMENTARY; MODELS;
D O I：
10.1080/02533839.2018.1498019
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
Siphon control has been utilized as a general methodology for systems of simple sequential process with resource (S3PR) deadlock systems. Although siphon control imposes additional control places on S3PR systems, it cannot guarantee that the maximum permissiveness is achieved. To solve the problem of deadlock prevention for S3PR, a new policy to design a deadlock-free supervisor with the maximally permissive system is proposed using additional transitions. Additionally, this approach can solve the problem of deadlock prevention for systems of sequential systems with shared resources (S4PR) system models.
引用
收藏
页码：442 / 452
页数：11
相关论文
共 54 条
  • [1] Deadlock prevention and avoidance in FMS: A Petri net based approach
    Abdallah, IB
    ElMaraghy, HA
    [J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1998, 14 (10) : 704 - 715
  • [2] [Anonymous], IEEE T SYSTEMS MAN A
  • [3] [Anonymous], 1981, Petri net theory and the modeling of systems
  • [4] DEADLOCK-AVOIDANCE IN FLEXIBLE MANUFACTURING SYSTEMS WITH CONCURRENTLY COMPETING PROCESS FLOWS
    BANASZAK, ZA
    KROGH, BH
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1990, 6 (06): : 724 - 734
  • [5] BARKAOUI K, 1994, IEEE, V1994, P525
  • [6] Automated manufacturing system: virtual-nets or non-virtual-nets?
    Chao, D. Y.
    [J]. IET CONTROL THEORY AND APPLICATIONS, 2009, 3 (06) : 671 - 680
  • [7] Deadlock recovery for flexible manufacturing systems modeled with Petri nets
    Chen, YuFeng
    Li, ZhiWu
    Al-Ahmari, Abdulrahman
    Wu, Naiqi
    Qu, Ting
    [J]. INFORMATION SCIENCES, 2017, 381 : 290 - 303
  • [8] GRAPH-THEORETIC DEADLOCK DETECTION AND RESOLUTION FOR FLEXIBLE MANUFACTURING SYSTEMS
    CHO, H
    KUMARAN, TK
    WYSK, RA
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (03): : 413 - 421
  • [9] 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
  • [10] Ezpeleta J, 2002, IEEE T ROBOTIC AUTOM, V18, P621, DOI 10.1109/TR A.2002.801048
123456