An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems

International Journal of Production Research

Volumn 44, Issue 10, 2006, Pages 1987-2030

  Uzam, M ^a   Zhou, M C ^b  

^a NIGDE UNIVERSITY   (Turkey)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Deadlock; Deadlock prevention; Flexible manufacturing systems (FMS); Liveness enforcing supervisor; Petri net model (PNM); Petri nets (PN)

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEM RECOVERY; GRAPH THEORY; PETRI NETS; RESOURCE ALLOCATION; SYNTHESIS (CHEMICAL);

DEADLOCK; DEADLOCK PREVENTION; FLEXIBLE MANUFACTURING SYSTEMS (FMS); LIVENESS ENFORCING SUPERVISOR; PETRI NET MODEL (PNM); PETRI NETS (PN);

ITERATIVE METHODS;

EID: 33744982889     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207540500431321     Document Type: Article

References (42)

1. Abdallah, I.B. and ElMaraghy, H.A., Deadlock prevention and avoidance in FMS: a petri net based approach. Int. J. Adv. Manuf. Tech., 1998, 14, 704-715.
2. Badouel, E. and Darondeau, P., Theory of regions. In Lecture Notes in Computer Science, Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, edited by W. Reisig and G. Rozenberg (Eds), Vol 1491, pp. 529-586, 1998 (Springer-Verlag: Heidelberg, Germany).
3. Banaszak, Z.A. and Krogh, B.H., Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Robot. Autom., 1990, 6(6), 724-734.
4. Cho, H., Kumaran, T.K. and Wysk, R.A., Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Trans. Robot. Autom., 1995, 11(3), 413-421.
5. Ezpeleta, J., Colom, J.M. and Martinez, J., A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Autom., 1995, 11(2), 173-184.
6. Ezpeleta, J., Tricas, F., Garcia-Valles, F. and Colom, J.M., A banker's solution for deadlock avoidance in fms with flexible routing and multiresource states. IEEE Trans. Robot. Autom., 2002, 18(4), 621-625.
7. Fanti, M.P., Maione, B., Mascolo, S. and Turchiano, B., Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans. Robot. Autom., 1997, 13(3), 347-363.
8. Fanti, M.P. and Zhou, M.C., Deadlock control methods in automated manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A, 2004, 34(1), 5-22.
9. Ferrarini, L. and Maroni, M., Deadlock avoidance control for manufacturing systems with multiple capacity resources. Int. J. Adv. Manuf. Tech., 1998, 14, 729-736.
10. Hsieh, F.S. and Chang, S.C., Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans. Robot. Autom., 1994, 10(2), 196-209.
11. Huang, Y., Jeng, M.D., Xie, X. and Chung, S., Deadlock prevention based on petri nets and siphons. Int. J. Prod. Res., 2001, 39(2), 283-305.
12. Huang, Y.S., Jeng, M.D., Xie, X. and Chung, D.H., Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A. 2005, accepted for publication.
13. INA, 31.07.2003, Integrated Net Analyzer, a software tool for analysis of Petri nets, Version 2.2. Available online at: http://www.informatik.hu-berlin.de/~starke/ina.html (accessed 10 August 2003).
14. Jeng, M.D., Xie, X. and Chung, S.-L., ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems. IEEE Trans. Syst. Man Cybern., 2004, 34(1), 102-112.
15. Lawley, M., Deadlock avoidance for production systems with flexible routing. IEEE Trans. Robot. Autom., 1999, 15(3), 497-509.
16. Lawley, M., Reveliotis, S. and Ferreira, P., Design guidelines for deadlock handling strategies in flexible manufacturing systems. Int. J. Flex. Manuf. Syst., 1997, 9(7), 5-29.
17. Lawley, M., Reveliotis, S. and Ferreira, P., A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Trans. Robot. Autom., 1998, 14, 796-809.
18. Lee, K.H. and Favrel, J., Hierarchical reduction method for analysis and decomposition of Petri nets. IEEE Trans. Syst. Man Cybern., 1985, 15, 272-280.
19. Li, Z. and Zhou, M.C., Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. Robot. Syst. Man Cybern. A: Syst. Hum., 2004a, 34(1), 38-51.
20. Li, Z. and Zhou, M.C., An effective FMS deadlock prevention policy based on elementary siphons, in Proceedings of the 2004 IEEE International Conference on Robotics and Automation, New Orleans, LA, May, 2004b, pp. 3143-3148.
21. Li, Z., Uzam, M. and Zhou, M.C., Comments on 'deadlock prevention policy based on petri nets and siphons'. Int. J. Prod. Res., 2004, 42(24), 5253-5254.
22. Li, Z., Zhou, M.C. and Uzam, M., A deadlock control policy for FMS using elementary siphons of petri nets and an MIP approach. Int. J. Prod. Res., submitted.
23. Murata, T., Petri nets: properties, analysis and application. Proc. IEEE, 1989, 44, 541-579.
24. Park, J. and Reveliotis, S.A., Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. Robot. Autom., 2000, 16(2), 190-195.
25. Park, J. and Reveliotis, S.A., Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. Autom. Control, 2001, 46, 1572-1583.
26. PN-tools, A Petri net analysis tool, ver. 1.0, Pedagogical University of Rzesów, Poland, 1987-1996.
27. Silva, M., Las Redes de Petri en la Automatica y la Informatica, 1985 (Madrid: Editorial AC).
28. Tat, L.Y. and Gwo-Ji, S., Resolving deadlocks in flexible manufacturing cells. J. Manuf. Syst., 1993, 12(4), 291-307.
29. Tricas, F., Garcia-Valles, F., Colom, J.M. and Ezpelata, J., A structural approach to the problem of deadlock prevention in processes with resources, in Proceedings of WODES'98, Italy, 26-28 August, 1998, pp. 273-278.
30. Tricas, F., Garcia-Valles, F., Colom, J.M. and Ezpeleta, J., An iterative method for deadlock prevention in FMS. In Discrete Event Systems: Analysis and Control, edited by G. Stremersch pp. 139-148, 2000 (Kluwer Academic: Boston, MA).
31. Uzam, M., An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int. J. Adv. Manuf. Tech., 2002, 19(3), 192-208.
32. Uzam, M., The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int. J. Adv. Manuf. Tech., 2004, 23(3-4), 204-219.
33. Uzam, M. and Zhou, M.C., Iterative synthesis of petri net based deadlock prevention policy for flexible manufacturing systems, in Proceedings of the. 2004 IEEE International Conference on Systems, Man and Cybernetics, The Hague, The Netherlands, 10-13 October, 2004, pp. 4260-4265.
34. Uzam, M. and Zhou, M.C., An iterative synthesis approach to petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A, 2005, accepted for publication.
35. Visvanadham, N., Nahari, Y. and Johnson, T.L., Deadlock prevention and deadlock avoidance in flexible manufacturing systems using petri net models. IEEE Trans. Robot. Autom., 1990, 6(6), 713-723.
36. Wang, F.-Y., Gao, Y. and Zhou, M.C., A modified reachability tree approach to analysis of unbounded petri nets. IEEE Trans. Syst. Man Cybern. B, 2004, 34(1), 303-308.
37. Wysk, R.A., Neng-Shu, Y. and Sanjay, J., Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches. J. Manuf. Syst., 1994, 13(2), 128-136.
38. Xing, K., Hu, B. and Chen, H., Deadlock avoidance policy for flexible manufacturing systems. In Petri Nets in Flexible and Agile Automation, edited by M.C. Zhou, pp. 239-263, 1995, (Kluwer Academic: Boston, MA).
39. Xing, K., Hu, B. and Chen, H., Deadlock avoidance policy for petri-net modelling of flexible manufacturing systems with shared resources. IEEE Trans. Autom. Control, 1996, 41(2), 289-295.
40. Yamalidou, K., Moody, J., Lemmon, M. and Antsaklis, P., Feedback control of petri nets based on place invariants. Automatica, 1996, 32(1), 15-28.
41. Yim, D., Kim, J. and Woo, H., Avoidance of deadlocks in flexible manufacturing systems using a capacity designated directed graph. Int. J. Prod. Res., 1997, 35(9), 2459-2475.
42. Zhou, M.C. and Jeng, M.D., Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a petri net approach. IEEE Trans. Semicond. Manuf., 1998, 11(3), 333-357.