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

被引:0
作者
机构
[1] Liu, Ding
[2] Li, Zhiwu
[3] 2,Zhou, Mengchu
关键词
D O I
10.1109/tsmca.2012.2192266
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
[21]   Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems [J].
Chen, YuFeng ;
Li, ZhiWu ;
Barkaoui, Kamel .
INFORMATION SCIENCES, 2014, 256 :74-90
[22]   Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems [J].
Huang, Yi-Sheng ;
Pan, Yen-Liang .
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2010, 48 (5-8) :725-737
[23]   Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors [J].
Cong, Xuya ;
Wang, Anrong ;
Chen, Yufeng ;
Wu, Naiqi ;
Qu, Ting ;
Khalgui, Mohamed ;
Li, Zhiwu .
ISA TRANSACTIONS, 2019, 92 :145-154
[24]   Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems [J].
Yi-Sheng Huang ;
Yen-Liang Pan .
The International Journal of Advanced Manufacturing Technology, 2010, 48 :725-737
[25]   Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems [J].
Chen, YuFeng ;
Li, Zhiwu .
AUTOMATICA, 2011, 47 (05) :1028-1034
[26]   Designing Liveness-Enforcing Supervisors for Manufacturing Systems by Using Maximally Good Step Graphs of Petri Nets [J].
Dou, Hao ;
You, Dan ;
Wang, Shouguang ;
Zhou, MengChu .
IEEE Transactions on Automation Science and Engineering, 2025, 22 :7312-7323
[27]   An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing Systems [J].
Kaid, Husam ;
Al-Ahmari, Abdulrahman ;
Li, Zhiwu ;
Ameen, Wadea .
IEEE ACCESS, 2022, 10 :68570-68581
[28]   Designing Liveness-Enforcing Supervisors for Manufacturing Systems by Using Maximally Good Step Graphs of Petri Nets [J].
Dou, Hao ;
You, Dan ;
Wang, Shouguang ;
Zhou, MengChu .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2025, 22 :7312-7323
[29]   On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions [J].
Wei, Na ;
Li, Zhiwu .
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2008, 38 (1-2) :195-204
[30]   On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions [J].
Na Wei ;
Zhiwu Li .
The International Journal of Advanced Manufacturing Technology, 2008, 38 :195-204