Comments on "Deadlock prevention policy based on Petri nets and siphons"

被引：24
|
作者：
Li, ZW
Uzam, M
Zhou, MC
机构：
[1] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
[2] Nigde Uiversitesi, Muhendislik Mimarlik Fak, Elekt Elekt Muhendisligi Bolumu, TR-51200 Nigde, Turkey
[3] New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA
[4] Chinese Acad Sci, Inst Automat, Beijing 100080, Peoples R China
来源：
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH | 2004年 / 42卷 / 24期
基金：
中国国家自然科学基金;
关键词：
D O I：
10.1080/00207540412331330822
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
A deadlock prevention policy for a class of Petri nets S3 PR was proposed. A liveness-enforcing Petri net supervisor could be obtained by adding monitors to the plant net model. The approach could generate a correct supervisor with more permissive behavior than the existing methods in Ezpeleta and Li and Zhou, where the same class of Petri nets were dealt with. The obtained additional monitors and related arcs were shown and the net supervisor produced was live with 12656 reachable states.
引用
收藏
页码：5253 / 5254
页数：2
相关论文
共 50 条
  • [41] Smart deadlock prevention policy for flexible manufacturing systems using Petri nets
    Li, Z.
    Shpitalni, M.
    IET CONTROL THEORY AND APPLICATIONS, 2009, 3 (03): : 362 - 374
  • [42] An efficient deadlock prevention policy for flexible manufacturing system using Petri nets
    Hu, H. S.
    Li, Z. W.
    Wang, A. R.
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3187 - 3192
  • [43] Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems (vol 34, pg 38, 2004)
    Li, Z
    Zhou, M
    Wang, D
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (02): : 289 - 289
  • [44] A Petri Nets Based Deadlock Avoidance Policy for Flexible Manufacturing Systems
    Wang, A. R.
    Li, Z. W.
    Jia, J. Y.
    IECON 2004: 30TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOL 2, 2004, : 1896 - 1901
  • [45] A survey of siphons in Petri nets
    Liu, GaiYun
    Barkaoui, Kamel
    INFORMATION SCIENCES, 2016, 363 : 198 - 220
  • [46] A deadlock prevention policy for flexible manufacturing systems using siphons
    Huang, YS
    Jeng, MD
    Xie, XL
    Chung, SL
    2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 541 - 546
  • [47] Deadlock prevention approach for a class of timed Petri nets
    Guo, Jin-Wei
    Li, Zhi-Wu
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2009, 36 (05): : 902 - 908
  • [48] Optimal deadlock prevention policy for a class of Petri nets S3PMR
    School of Mechatronics Engineering, Xidian University, Xi'an 710071, China
    Jisuanji Jicheng Zhizao Xitong, 2008, 1 (107-112+117):
  • [49] Synthesis of deadlock prevention supervisors using Petri nets
    Iordache, MV
    Moody, JO
    Antsaklis, PJ
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2002, 18 (01): : 59 - 68
  • [50] Selective Siphon Control for Deadlock Prevention in Petri Nets
    Piroddi, Luigi
    Cordone, Roberto
    Furnagalli, Ivano
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (06): : 1337 - 1348
12345