A deadlock prevention policy based on complementary places

被引：0
|
作者：
Wu, Wen-Hui [1 ]
Wang, Shou-Guang [1 ]
机构：
[1] College of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2013年 / 36卷 / 11期
关键词：
Comparison result - Deadlock - Deadlock prevention policy - Finite capacity - General Petri nets - Liveness-enforcing supervisor - Petri net models - Reachability set;
D O I：
10.3724/SP.J.1016.2013.02257
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2257 / 2265
相关论文
共 50 条
  • [41] A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions
    Li, Zhiwu
    Zhou, MengChu
    Jeng, MuDer
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 5 (01) : 182 - 188
  • [42] An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems
    Uzam, Murat
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (03): : 362 - 371
  • [43] Deadlock prevention for FMS
    Xu, G
    Wu, ZM
    PROCEEDINGS OF THE 2003 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2003, : 1696 - 1701
  • [44] A Survey of Deadlock Prevention Policies Based on Petri Net
    Wu Wen-hui
    Zhang Qi
    INTERNATIONAL CONFERENCE OF CHINA COMMUNICATION (ICCC2010), 2010, : 764 - +
  • [45] 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
  • [46] Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources
    Hu, Hesuan
    Li, Zhiwu
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2009, 40 (5-6): : 566 - 571
  • [47] Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources
    Hesuan Hu
    Zhiwu Li
    The International Journal of Advanced Manufacturing Technology, 2009, 40 : 566 - 571
  • [48] 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
  • [49] 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
  • [50] 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
12345