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 条
[31]   Comments on "enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems" [J].
Chao, Daniel Y. .
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2012, 60 (5-8) :625-629
[32]   Comments on “enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems” [J].
Daniel Y. Chao .
The International Journal of Advanced Manufacturing Technology, 2012, 60 :625-629
[33]   Enhancement of Computational Efficiency in Seeking Liveness-Enforcing Supervisors for Advanced Flexible Manufacturing Systems with Deadlock States [J].
Pan, Yen-Liang ;
Tai, Chun-Wang ;
Tseng, Ching-Yun ;
Huang, Jong-Ching .
APPLIED SCIENCES-BASEL, 2020, 10 (07)
[34]   A deadlock prevention policy for a class of Petri net models of flexible manufacturing systems [J].
Yan, Mingming ;
Zhong, Chunfu .
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2011, 49 (24) :7379-7396
[35]   On Nonexistence of a Maximally Permissive Liveness-Enforcing Pure Net Supervisor [J].
Zhong, ChunFu ;
Li, ZhiWu ;
Chen, YuFeng ;
Al-Ahmari, Abdulrahman .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (01) :29-37
[36]   A Think-Globally-Act-Locally-Based Method of Maximally Permissive Liveness-Enforcing Supervisors for Flexible Manufacturing Systems [J].
Li, Chengzong ;
Chen, Yufeng ;
Zhong, Zhaofeng ;
Uzam, Murat ;
Li, Zhiwu ;
Wu, Naiqi ;
Zhang, Mingjun .
CONTROL ENGINEERING AND APPLIED INFORMATICS, 2021, 23 (04) :46-56
[37]   A channelized deadlock prevention policy for flexible manufacturing systems using Petri net models [J].
Huang, Yi-Sheng ;
Row, Ter-Chan .
MATERIALS AND DESIGN, PTS 1-3, 2011, 284-286 :1498-+
[38]   DESIGN OF A MAXIMALLY PERMISSIVE LIVENESS-ENFORCING SUPERVISOR WITH REDUCED COMPLEXITY FOR AUTOMATED MANUFACTURING SYSTEMS [J].
Wang, ShouGuang ;
Zhou, MengChu ;
Wu, WenHui .
ASIAN JOURNAL OF CONTROL, 2015, 17 (01) :190-201
[39]   Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software [J].
Liao, Hongwei ;
Lafortune, Stephane ;
Reveliotis, Spyros ;
Wang, Yin ;
Mahlke, Scott .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (05) :1123-1138
[40]   Petri net models of flexible and automated manufacturing systems: A survey [J].
Moore, KE ;
Gupta, SM .
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1996, 34 (11) :3001-3035
12345