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 条
[41]   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
[42]   STRUCTURE REDUCTION OF LIVENESS-ENFORCING PETRI NETS USING MIXED INTEGER PROGRAMMING [J].
Li, Shao-Yong ;
Li, Zhi-Wu .
ASIAN JOURNAL OF CONTROL, 2012, 14 (02) :384-399
[43]   Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons [J].
Shao Yong Li ;
Ai Min An ;
Ying Wang ;
Gang Wang ;
Cai Qin Hou ;
Ying Cai .
Journal of Intelligent Manufacturing, 2013, 24 :1157-1173
[44]   Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons [J].
Li, Shao Yong ;
An, Ai Min ;
Wang, Ying ;
Wang, Gang ;
Hou, Cai Qin ;
Cai, Ying .
JOURNAL OF INTELLIGENT MANUFACTURING, 2013, 24 (06) :1157-1173
[45]   On systematic methods to remove redundant monitors from liveness-enforcing net supervisors [J].
Li, ZhiWu ;
Hu, HeSuan .
COMPUTERS & INDUSTRIAL ENGINEERING, 2009, 56 (01) :53-62
[46]   Petri net based deadlock prevention policy for flexible manufacturing systems [J].
Universidad de Zaragoza, Zaragoza, Spain .
IEEE Trans Rob Autom, 2 (173-184)
[47]   A HYBRID METHODOLOGY FOR SYNTHESIS OF PETRI NET MODELS FOR MANUFACTURING SYSTEMS [J].
ZHOU, MC ;
DICESARE, F ;
DESROCHERS, AA .
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1992, 8 (03) :350-361
[48]   Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods [J].
He, KX ;
Lemmon, MD .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (07) :1042-1055
[49]   Synthesis of Maximally-Permissive Liveness-Enforcing Control Policies for Gadara Petri Nets [J].
Liao, Hongwei ;
Lafortune, Stephane ;
Reveliotis, Spyros ;
Wang, Yin ;
Mahlke, Scott .
49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, :2797-2804
[50]   Parsimonious monitor control of Petri net models of flexible manufacturing systems [J].
Cordone, Roberto ;
Piroddi, Luigi .
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013, 43 (01) :215-221
12345