Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems (vol 8, pg 374, 2011)

被引：1
|
作者：
Chen, Yu Feng [1 ]
Li, Zhi Wu [1 ]
Khalgui, Mohamed [2 ]
Mosbahi, Olfa [2 ]
机构：
[1] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
[2] Univ Halle Wittenberg, Inst Comp Sci, Automat Technol Lab, D-06120 Halle, Germany
来源：
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING | 2012年 / 9卷 / 02期
关键词：
D O I：
10.1109/TASE.2012.2183739
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：455 / 455
页数：1
相关论文
共 50 条
  • [31] Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems
    Li, Chengzong
    Chen, Yufeng
    Li, Zhiwu
    Barkaoui, Kamel
    IEEE ACCESS, 2017, 5 : 16349 - 16358
  • [32] On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places
    Zhang, Xiuyan
    Uzam, Murat
    Li, Zhiwu
    Wu, Naiqi
    IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 2018, 35 (01) : 165 - 182
  • [33] SYNTHESIS OF LIVENESS-ENFORCING PETRI NET SUPERVISORS BASED ON A THINK-GLOBALLY-ACT LOCALLY APPROACH AND A STRUCTURALLY MINIMAL METHOD FOR FLEXIBLE MANUFACTURING SYSTEMS
    Li, Chengzong
    Li, Yongyao
    Chen, Yufeng
    Wu, Naiqi
    Li, Zhiwu
    Ma, Pengyu
    KAiD, Husam
    COMPUTING AND INFORMATICS, 2022, 41 (05) : 1310 - 1336
  • [34] Small-Size Liveness-Enforcing Supervisor for Automated Manufacturing Systems Using the Theory of Transition Cover
    Feng, Yanxiang
    Ren, Sida
    Ren, Xiaodong
    Chen, Hefeng
    Yang, Yikang
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2023, 53 (04): : 2222 - 2235
  • [35] An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing Systems
    Kaid, Husam
    Al-Ahmari, Abdulrahman
    Li, Zhiwu
    Ameen, Wadea
    IEEE ACCESS, 2022, 10 : 68570 - 68581
  • [36] Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
    Zhao, Mi
    Li, ZhiWu
    Hu, HeSuan
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2010, 41 (09) : 1013 - 1026
  • [37] Enhancement of Computational Efficiency in Seeking Liveness-Enforcing Supervisors for Advanced Flexible Manufacturing Systems with Deadlock States
    Pan, Yen-Liang
    Tai, Chun-Wang
    Tseng, Ching-Yun
    Huang, Jong-Ching
    APPLIED SCIENCES-BASEL, 2020, 10 (07):
  • [38] Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons
    Shao Yong Li
    Ai Min An
    Ying Wang
    Gang Wang
    Cai Qin Hou
    Ying Cai
    Journal of Intelligent Manufacturing, 2013, 24 : 1157 - 1173
  • [39] DESIGN AND IMPLEMENTATION OF A PETRI NET BASED SUPERVISOR FOR A FLEXIBLE MANUFACTURING SYSTEM
    ZHOU, MC
    DICESARE, F
    RUDOLPH, DL
    AUTOMATICA, 1992, 28 (06) : 1199 - 1208
  • [40] Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons
    Li, Shao Yong
    An, Ai Min
    Wang, Ying
    Wang, Gang
    Hou, Cai Qin
    Cai, Ying
    JOURNAL OF INTELLIGENT MANUFACTURING, 2013, 24 (06) : 1157 - 1173
12345