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 条
  • [31] Enhancement of an Deadlock Prevention Policy for FMSs Using Theory of Regions
    Huang, Yi-Sheng
    Pan, Yen-Liang
    Jeng, Mu-Der
    Chang, Po-Lun
    2010 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), 2010,
  • [32] Design of a Petri Net Based Deadlock Prevention Policy Supervisor for S3PR
    Abdul-Hussin, Mowafak
    PROCEEDINGS SIXTH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS, MODELLING AND SIMULATION, 2015, : 46 - 52
  • [33] An optimal-elementary-siphons-based iterative deadlock prevention policy for flexible manufacturing systems
    Hesuan Hu
    Zhiwu Li
    The International Journal of Advanced Manufacturing Technology, 2008, 38 : 309 - 320
  • [34] An optimal-elementary-siphons-based iterative deadlock prevention policy for flexible manufacturing systems
    Hu, Hesuan
    Li, Zhiwu
    International Journal of Advanced Manufacturing Technology, 2008, 38 (3-4): : 309 - 320
  • [35] 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
  • [36] An optimal-elementary-siphons-based iterative deadlock prevention policy for flexible manufacturing systems
    Hu, Hesuan
    Li, Zhiwu
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2008, 38 (3-4): : 309 - 320
  • [37] A simple modification of deadlock prevention policy of S3PR based on elementary siphons
    Chao, Daniel Yuh
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) : 93 - 115
  • [38] Time based deadlock prevention for Petri nets
    Boucheneb, Hanifa
    Barkaoui, Kamel
    Xing, Qian
    Wang, KuangZe
    Liu, GaiYun
    Li, ZhiWu
    AUTOMATICA, 2022, 137
  • [39] Deadlock analysis of Petri nets based on the resource share places relationship
    Kim, Sanghwan
    Lee, Sangho
    Lee, Jongkun
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 59 - 64
  • [40] Comments on "An Iterative Synthesis Approach to Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems"
    Li, ZhiWu
    Liu, GaiYun
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (03): : 692 - 692
12345