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 条
  • [1] Deadlock prevention policy based on Petri nets and siphons
    Huang, YS
    Jeng, M
    Xie, XL
    Chung, SL
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2001, 39 (02) : 283 - 305
  • [2] Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons
    ShouGuang Wang
    WenHui Wu
    Jing Yang
    Journal of Intelligent Manufacturing, 2015, 26 : 321 - 330
  • [3] Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons
    Wang, ShouGuang
    Wu, WenHui
    Yang, Jing
    JOURNAL OF INTELLIGENT MANUFACTURING, 2015, 26 (02) : 321 - 330
  • [4] An effective deadlock prevention policy using elementary siphons of Petri nets for FMS
    Li, ZW
    Xia, HB
    Wang, AR
    2004 8TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1-3, 2004, : 521 - 526
  • [5] Comparison of deadlock prevention policies in FMS based on Petri nets siphons
    Huang, YS
    Lin, JH
    Hsu, CN
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4867 - 4872
  • [6] A deadlock prevention policy for FMS using elementary siphons of Petri nets with uncontrollable transitions
    Li, Zhiwu
    Shpitalni, Moshe
    PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2, 2008, : 67 - +
  • [7] Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets
    Zhang, Zhiming
    Wu, Weimin
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [8] On controllability of dependent siphons for deadlock prevention in generalized Petri nets
    Li, Zhiwu
    Zhao, Mi
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (02): : 369 - 384
  • [9] A deadlock prevention approach using elementary siphons for a class of Petri nets
    Li, ZW
    Zhang, XF
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1728 - 1733
  • [10] Efficient Deadlock Prevention in Petri Nets through the Generation of Selected Siphons
    Piroddi, Luigi
    Cordone, Roberto
    Fumagalli, Ivano
    2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 5006 - +
12345