TY - GEN
T1 - Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations
AU - Hu, Hesuan
AU - Zhou, Mengchu
AU - Li, Zhiwu
AU - Wu, Naiqi
PY - 2010
Y1 - 2010
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 well-known Petri net approaches study AMS with either flexible routes or assembly operations, whereas few work investigates their combination. In this paper, we propose a novel class of nets, which can well deal with both features. We also derive a supervisory controller for on-line ratio enforcement among all processes. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons. We also reveal the design separability between ratio-enforcing and liveness-enforcing supervisors.
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 well-known Petri net approaches study AMS with either flexible routes or assembly operations, whereas few work investigates their combination. In this paper, we propose a novel class of nets, which can well deal with both features. We also derive a supervisory controller for on-line ratio enforcement among all processes. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons. We also reveal the design separability between ratio-enforcing and liveness-enforcing supervisors.
UR - http://www.scopus.com/inward/record.url?scp=78149435686&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78149435686&partnerID=8YFLogxK
U2 - 10.1109/COASE.2010.5584207
DO - 10.1109/COASE.2010.5584207
M3 - Conference contribution
AN - SCOPUS:78149435686
SN - 9781424454471
T3 - 2010 IEEE International Conference on Automation Science and Engineering, CASE 2010
SP - 459
EP - 464
BT - 2010 IEEE International Conference on Automation Science and Engineering, CASE 2010
T2 - 2010 IEEE International Conference on Automation Science and Engineering, CASE 2010
Y2 - 21 August 2010 through 24 August 2010
ER -