Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems

被引：0
|
作者：
机构：
[1] Liu, Ding
[2] Li, Zhiwu
[3] 2,Zhou, Mengchu
来源：
| 2013年 / Institute of Electrical and Electronics Engineers Inc.卷 / 43期
关键词：
D O I：
10.1109/tsmca.2012.2192266
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems
    Liu, Ding
    Li, Zhiwu
    Zhou, Mengchu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (01): : 85 - 97
  • [2] Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems
    Li, Z.
    Zhang, J.
    Zhao, M.
    IET CONTROL THEORY AND APPLICATIONS, 2007, 1 (04): : 955 - 967
  • [3] Most permissive liveness-enforcing Petri net supervisors for flexible manufacturing systems
    Chen, YuFeng
    Li, ZhiWu
    Zhou, MengChu
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2012, 50 (22) : 6357 - 6371
  • [4] On the existence of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems
    Li, Zhiwu
    Shpitalni, Moshe
    PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2, 2008, : 90 - +
  • [5] Monitor-based Liveness-enforcing Petri Net Supervisors for Flexible Manufacturing Systems
    You Dan
    Wang Shouguang
    Zhou MengChu
    Wu Wenhui
    2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 4011 - 4016
  • [6] Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
    Chen, YuFeng
    Li, Zhiwu
    Khalgui, Mohamed
    Mosbahi, Olfa
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (02) : 374 - 393
  • [7] On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
    Bashir, Muhammad
    Li, Zhiwu
    Uzam, Murat
    Wu, Naiqi
    Al-Ahmari, Abdulrahman
    IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 2018, 35 (04) : 1217 - 1249
  • [8] Design of a More Permissive and Structurally Simple Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
    Li, Zhiwu
    Wang, Xingping
    IECON 2004: 30TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOL 2, 2004, : 1891 - 1895
  • [9] Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets
    Li, Zhi Wu
    Hu, He Suan
    Wang, An Rong
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2007, 37 (04): : 517 - 526
  • [10] Optimization algorithm of a liveness-enforcing supervisor for flexible manufacturing systems
    Guo, Jin-Wei
    Chen, Nan
    Wang, Guo-Feng
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2010, 16 (03): : 663 - 671
12345