Iterative synthesis of petri net based deadlock prevention policy for flexible manufacturing systems

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 5, Issue , 2004, Pages 4260-4265

  Uzam, Murat ^a   Zhou, MengChu ^b,c  

^a NIGDE UNIVERSITY   (Turkey)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c INSTITUTE OF AUTOMATION   (China)

Author keywords

Deadlock prevention; Flexible manufacturing systems (FMS); Petri nets (PN); Reachability analysis

Indexed keywords

DEADLOCK PREVENTION; DEADLOCK ZONE (DZ); FLEXIBLE MANUFACTURING SYSTEM (FMS); REACHABILITY ANALYSIS;

COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEM RECOVERY; CONTROL THEORY; GRAPH THEORY; ITERATIVE METHODS; JOB ANALYSIS; MANUFACTURING DATA PROCESSING; PRODUCTION CONTROL;

PETRI NETS;

EID: 15744377860     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2004.1401200     Document Type: Conference Paper

References (18)

1. N. Visvanadham, Y. Nahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using petri net models", IEEE Trans. Robot. Automat., Vol. 6, No. 6, p.p. 713-723, 1990.
2. F.S. Hsieh and S.C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems", IEEE Trans. Robot. Automat., Vol. 10, No. 2, p.p. 196-209, 1994.
3. J. Ezpeleta, J.M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems", IEEE Trans. Robot. Automat., Vol. 11, No. 2, p.p. 173-184, 1995.
4. K. Xing, B. Hu, and H. Chen, "Deadlock avoidance policy for flexible manufacturing systems", in M.C. Zhou (ed.) Petri Nets in Flexible and Agile Automation, Kluwer, Boston, MA, pp. 239-263, 1995.
5. M.P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems", IEEE Trans. Robot. Automat., Vol. 13, No. 3, p.p. 347-363, 1997.
6. M. Lawley, S. Reveliotis, and P. Ferreira, "Design guidelines for deadlock handling strategies in flexible manufacturing systems", Int. Journal of Flex. Manuf. Syst., Vol. 9, No. 7, pp. 5-29, 1997.
7. F. Tricas, F. Garcia-Valles, J.M. Colom, and J. Ezpelata, "A structural approach to the problem of deadlock prevention in processes with resources", in Proc. of WODES'98, Italy, pp. 273-278, 26-28 August 1998.
8. M. Lawley, S. Reveliotis, and P. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems", IEEE Trans. Robot. Automat., Vol. 14, p.p. 796-809, 1998.
9. I.B. Abdallah and H.A. ElMaraghy, "Deadlock prevention and avoidance in FMS: a petri net based approach", Int. Journal of Adv. Manuf. Tech., Vol. 14, pp. 704-715, 1998.
10. M. Uzam, "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., Vol. 19, No.3, pp. 192-208, 2002.
11. M. Uzam, "The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems" Int. J. Adv. Manuf. Tech., Vol. 23, No. 3-4, pp. 204-219, 2004.
12. Z. Li and M.C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Sys. Man and Cyber. Part A, Vol. 34, No.1, pp. 38-51, 2004.
13. M.P. Fanti, and M.C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Sys. Man and Cyber. Part A, Vol. 34, No.1, pp. 5-22, 2004.
14. M. D. Jeng, X. Xie, and S.-L. Chung, "ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems," IEEE Trans. on Systems, Man, and Cybernetics, 34(1), pp. 102-112, 2004.
15. E. Badouel and P. Darondeau, "Theory of regions", W. Reisig and G. Rozenberg (Eds.), Vol. 1491 of Lect. Notes in Comp. Sci., Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, pp. 529-586, 1998.
16. K. Yamalidou, J. Moody, M. Lemmon and P. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, Vol. 32, No. 1, pp. 15-28, 1996.
17. PN-tools, A Petri net analysis tool, ver. 1.0, Pedagogical University of Rzesów, Polland, 1987-1996.
18. Wang F.-Y., Y. Gao, and M. C. Zhou, "A modified reachability tree approach to analysis of unbounded petri nets," IEEE Trans. on Systems, Man, and Cybernetics: Part B, Vol. 34, No. 1, pp. 303-308, 2004.