Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets

International Journal of Production Research

Volumn 45, Issue 15, 2007, Pages 3439-3456

  Wu, N ^a   Zhou, M ^b  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Control; Deadlock avoidance; Petri nets; System modeling; Track systems

Indexed keywords

DEADLOCK AVOIDANCE POLICIES; SEMICONDUCTOR TRACK SYSTEMS; SYSTEM MODELING;

BUFFER STORAGE; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL EFFICIENCY; COMPUTER SYSTEM RECOVERY; PETRI NETS;

SEMICONDUCTOR DEVICES;

EID: 34250222467     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207540600863738     Document Type: Article

References (24)

1. Banaszak, Z.A. and Krogh, B.H., Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. on Robotics and Autom., 1990, 6(6), 724-734.
2. Cormen, T.H., Leiserson, C.E. and Rivest, R.L., Introduction to Algorithms, 1989 (MIT Press: Cambridge, MA).
3. Fanti, M.P., Maione, B., Mascolo, S. and Turchiano, B., Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans. Robotics Automat., 1997, 13, 347-363.
4. Fanti, M.P. and Zhou, M.C., Deadlock control methods in automated manufacturing systems. IEEE Trans. on Systems, Man, and Cybernetics, 2004, 34(1), 5-22.
5. Gang, X. and Wu, Z., Deadlock-free scheduling strategy for automated production cell. IEEE Trans. on Systems, Man, and Cybernetics, 2004, 34(1), 113-122.
6. Kim, C.O. and Kim, S.S., An effective real-time deadlock-free control for automated manufacturing systems. Int. J. Prod. Res., 1997, 35(6), 1545-1560.
7. Lawley, M.A., Deadlock avoidance for production systems with flexible routing. IEEE Trans. on Robotics and Autom., 1999, 15(3), 497-509.
8. Lawley, M., Reveliotis, S. and Ferreira, P., A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Trans. Robotics Automat., 1998, 14, 796-809.
9. Murata, T., Petri nets: properties, analysis and application. Proceedings of the IEEE, 1989, 77, 541-579.
10. Reveliotis, S.A. and Ferreira, P.M., Deadlock avoidance policies for automated manufacturing cells. IEEE Trans. on Robotics and Autom., 1996, 12(6), 845-857.
11. Reveliotis, S.A., Lawley, M. and Ferreira, P., Polynomial complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. Automat. Contr., 1997, 42, 1344-1357.
12. Roszkowska, E., Supervisory control for deadlock avoidance in compound processes. IEEE Trans. on Systems, Man, and Cybernetics, 2004, 34(1), 52-64.
13. Roszkowska, E. and Jentink, J., Minimal restrictive deadlock avoidance in AMS, in Proc. of The Second European Control Conf. ECC '93, Groningen, Holland, 1993, Vol. 2, pp. 530-534.
14. Wu, N.Q., Avoiding deadlocks in automated manufacturing systems with shared material handling system, in Proc. of 1997 IEEE Int. Conf. on Robotics and Automation, Albuquerque, NM, 1997, pp. 2427-2433.
15. Wu, N.Q., Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Trans. on Systems, Man, and Cybernetics, Part C, 1999, 29(2), 192-204.
16. Wu, N.Q. and Zhou, M.C., Resource-Oriented Petri Nets for Deadlock Avoidance in Automated Manufacturing, in Proc. of 2000 IEEE Int. Conf. on Robotics and Automation, San Francisco, CA, 2000, pp. 3377-3382.
17. Wu, N.Q. and Zhou, M.C., Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Trans, on Robotics and Autom., 2001, 17(5), 658-669.
18. Wu, N.Q. and Zhou, M.C., Deadlock modeling and control of automated guided vehicle systems. IEEE/ASME Trans. on Mechatronks, 2004, 9(1), 50-57.
19. Wu, N.Q. and Zhou, M.C., Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Trans. on Systems, Man, and Cybernetics: Part B, 2005, 35(6), 1193-1202.
20. Xing, K.Y., Hu, B.S. and Chen, H.X., Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Trans. on Automatic Contr., 1996, 41(2), 289-295.
21. Yoon, H.J. and Lee, D.Y., Identification of potential deadlock set in semiconductor track systems, in Proc. of 2001 IEEE Int.Conf. on Robotics and Automation, Seoul, Korea, 2001, pp. 1820-1825.
22. Yoon, H.J. and Lee, D.Y., Deadlock-free scheduling of photolithography equipment in semiconductor fabrication. IEEE Trans. Semiconductor Manuf., 2004, 17, 42-54.
23. Zhou, M.C. and Venkatesh, K., Modeling, simulation and control of flexible manufacturing systems: Petri net approach, 1998 (World Scientific: Singapore).
24. Zhou, M.C. and Fanti, M.P. (Ed.), Deadlock Resolution in Computer-Integrated Systems, 2005 (Marcel Dekker: New York).