TY - GEN
T1 - Liveness supervision of AMS with complex processes using Petri nets
AU - Hu, Hesuan
AU - Tang, Ying
AU - Zhou, Mengchu
AU - Li, Zhiwu
PY - 2011
Y1 - 2011
N2 - In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all known approaches to liveness-enforcing supervisory control study AMS with either flexible routes or assembly operations, whereas little work investigates them with both. In this paper, we propose a novel class of systems, which can well deal with both features so as to facilitate the investigation of more complex systems. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons, which is realizable by synthesizing a proper supervisory controller.
AB - In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all known approaches to liveness-enforcing supervisory control study AMS with either flexible routes or assembly operations, whereas little work investigates them with both. In this paper, we propose a novel class of systems, which can well deal with both features so as to facilitate the investigation of more complex systems. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons, which is realizable by synthesizing a proper supervisory controller.
KW - Automated manufacturing system
KW - Petri nets
KW - Supervisory control
UR - http://www.scopus.com/inward/record.url?scp=83755173181&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=83755173181&partnerID=8YFLogxK
U2 - 10.1109/ICSMC.2011.6083758
DO - 10.1109/ICSMC.2011.6083758
M3 - Conference contribution
AN - SCOPUS:83755173181
SN - 9781457706523
T3 - Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
SP - 844
EP - 849
BT - 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest
T2 - 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011
Y2 - 9 October 2011 through 12 October 2011
ER -