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
基金
中国国家自然科学基金;
关键词
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 条
  • [21] The Detection and Prevention of Deadlock in Petri Nets
    Hu, Wensong
    Zhu, Yuyuan
    Lei, Jie
    2011 INTERNATIONAL CONFERENCE ON PHYSICS SCIENCE AND TECHNOLOGY (ICPST), 2011, 22 : 656 - 659
  • [22] On deadlock control using Petri nets and siphons for automated manufacturing systems
    Li, Zhiwu
    Ma, Xiong
    PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, 2006, : 227 - 232
  • [23] Segment theory to compute elementary siphons in Petri nets for deadlock control
    Chao, Daniel Y.
    Chen, Jiun-Ting
    JOURNAL OF INDUSTRIAL AND PRODUCTION ENGINEERING, 2011, 28 (08) : 573 - 585
  • [24] On the optimal set of elementary siphons in Petri nets for deadlock control in FMS
    Hu, Hesuan
    Li, Zhiwu
    Wang, Anrong
    PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, 2006, : 244 - 247
  • [25] An effective FMS deadlock prevention policy based on elementary siphons
    Li, ZW
    Zhou, MC
    2004 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1- 5, PROCEEDINGS, 2004, : 3143 - 3148
  • [26] Optimal Siphon-based Deadlock Prevention Policy for a Class of Petri Nets in Automation
    Wang, ShouGuang
    Wang, ChengYing
    Zhou, MengChu
    2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2011, : 826 - 831
  • [27] An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control
    Li, ZW
    Hu, HS
    Zhou, MC
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4849 - 4854
  • [28] An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets
    Hou, YiFan
    Zhao, Mi
    Liu, Ding
    Hong, Liang
    DISCRETE DYNAMICS IN NATURE AND SOCIETY, 2016, 2016
  • [29] A deadlock prevention policy using elementary siphons
    Li, ZW
    Ma, X
    2005 INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), VOLS 1 AND 2, 2005, : 1193 - 1198
  • [30] Deadlock Prevention Policy based on Elementary Siphons for Flexible Manufacturing systems
    Yan, Mingming
    Hu, Hesuan
    Li, Zhiwu
    2008 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS, VOLS 1-3, 2008, : 229 - 234