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 条
  • [31] Solving siphons with the minimal cardinality in Petri nets and its applications to deadlock control
    Li, Shaoyong
    Li, Zhiwu
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2012, 50 (22) : 6203 - 6218
  • [32] Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets
    Hou, YiFan
    Li, ZhiWu
    Zhao, Mi
    Liu, Ding
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2014, 27 (01) : 85 - 102
  • [33] Deadlock prevention using Petri nets and their unfoldings
    Taubin, A
    Kondratyev, A
    Kishinevsky, M
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1998, 14 (10): : 750 - 759
  • [34] Deadlock prevention using Petri nets and their unfoldings
    A. Taubin
    A. Kondratyev
    M. Kishinevsky
    The International Journal of Advanced Manufacturing Technology, 1998, 14 : 750 - 759
  • [35] Deadlock prevention using Petri nets and their unfoldings
    Univ of Aizu, Aizu-Wakamatsu, Japan
    Int J Adv Manuf Technol, 10 (750-759):
  • [36] On a deadlock prevention policy for a class of Petri nets S3PMR
    Uzam, Murat
    Gelen, Gokhan
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2014, 73 (1-4): : 315 - 319
  • [37] On a deadlock prevention policy for a class of Petri nets S3PMR
    Murat Uzam
    Gökhan Gelen
    The International Journal of Advanced Manufacturing Technology, 2014, 73 : 315 - 319
  • [38] An iterative deadlock prevention policy for flexible manufacturing systems using Petri nets
    Huang, YS
    Chen, CT
    2005 IEEE NETWORKING, SENSING AND CONTROL PROCEEDINGS, 2005, : 229 - 234
  • [39] A Deadlock Prevention Policy for a Class of Petri Nets S3PMR
    Yan, Mingming
    Li, Zhiwu
    Wei, Na
    Zhao, Mi
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2009, 25 (01) : 167 - 183
  • [40] SYNTHESIS OF DEADLOCK PREVENTION POLICY USING PETRI NETS REACHABILITY GRAPH TECHNIQUE
    Huang, Yi-Sheng
    Chung, Ta-Hsiang
    Su, Pin-June
    ASIAN JOURNAL OF CONTROL, 2010, 12 (03) : 336 - 346
12345