A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 39, Issue 2, 2009, Pages 156-169

  Li, ZhiWu ^a   Zhu, Sen ^a,b   Zhou, Meng Chu ^c  

^a XIDIAN UNIVERSITY   (China)

^b Dalin Jianting Institute   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Deadlock prevention; Divide and conquer strategy; Flexible manufacturing system (FMS); Petri net; Siphon

Indexed keywords

COMPUTATIONAL COMPLEXITY; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; PLANNING; RESOURCE ALLOCATION; SIPHONS; SUPERVISORY PERSONNEL;

A PLANTS; DEAD-LOCK PROBLEMS; DEADLOCK CONTROLS; DEADLOCK PREVENTION; DIVIDE-AND-CONQUER STRATEGY; FLEXIBLE MANUFACTURING SYSTEM (FMS); LIVENESS; MATHEMATICAL TOOLS; NET MODELS; PETRI NET; RESOURCE ALLOCATION SYSTEMS; RESOURCE CIRCUITS; SEPARATION CONDITIONS; SUB-NETS; WHOLE PLANTS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 63049128873     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2008.2007246     Document Type: Article

References (47)

1. E. Badouel and P. Darondeau, "Theory of regions," in Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, vol. 1491, W. Reisig and G. Rozenberg, Eds. London, U.K.: Springer-Verlag, 1998, pp. 529-586.
2. Z. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 724-734, Dec. 1990.
3. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure theory of Petri nets," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 1997, pp. 3750-3755.
4. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997.
5. T. H. Cormen, C. E. Leiserson, and R. L. Rivest, Introduction to Algorithms. Cambridge, MA: MIT Press, 1992.
6. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
7. A. Ghaffari, N. Rezg, and X. L. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Trans. Robot. Autom., vol. 19, no. 1, pp. 137-141, Feb. 2003.
8. A. Giua and C. Seatzu, "A systems theory view of Petri nets," in Advances in Control Theory and Applications, vol. 353 (Lecture Notes in Control and Information Science), C. Bonivento et al. Eds. Berlin, Germany: Springer-Verlag, 2007, pp. 99-127.
9. E. Horowitz and S. Sahni, Fundamentals of Computer Algorithms. New York: Computer Science Press, 1978.
10. B. Hruz andM. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. Springer-Verlag: London, U.K., 2007.
11. F. S. Hsien and S. C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 196-209, Apr. 1994.
12. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., vol. 39, no. 2, pp. 283-305, 2001.
13. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "A deadlock prevention policy for flexible manufacturing systems using siphons," in Proc. IEEE Int. Conf. Robot. Autom., 2001, pp. 541-546.
14. Y. S. Huang, M. D. Jeng, X. L. Xie, and D. H. Chung, "Siphon-based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 36, no. 6, pp. 2152-2160, Nov. 2006.
15. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, "Synthesis of deadlock prevention supervisors using Petri nets," IEEE Trans. Robot. Autom., vol. 18, no. 1, pp. 59-68, Feb. 2002.
16. M. D. Jeng and F. DiCesare, "Synthesis using resource control nets for modeling shared-resource systems," IEEE Trans. Robot. Autom., vol. 11, no. 3, pp. 317-327, Jun. 1995.
17. M. D. Jeng and X. L. Xie, "Analysis of modularly composed nets by siphons," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 29, no. 4, pp. 399-406, Jul. 1999.
18. T. Kumaran, W. Chang, and H. Cho, "A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems," Int. J. Prod. Res., vol. 32, pp. 2361-2379, 1994.
19. K. Lautenbach and H. Ridder, "The linear algebra of deadlock avoidance- A Petri net approach," Inst. Softw. Technol., Univ. Koblenz-Landau, Koblenz, Germany, Tech. Rep. 25-1996, 1996.
20. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
21. Z. W. Li and M. C. Zhou, "Clarifications on the definitions of elementary siphons of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 36, no. 6, pp. 1227-1229, Nov. 2006.
22. Z. W. Li, H. S. Hu, and A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 517-526, Jul. 2007.
23. Z. W. Li and D. Liu, "A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net," Int. J. Prod. Res. vol. 45, no. 9, pp. 2161-2165, 2007.
24. Z. W. Li and M. C. Zhou, "Control of elementary and dependent siphons of Petri nets and their application," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 38, no. 1, pp. 133-148, Jan. 2008.
25. Z. W. Li, M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 1, pp. 183-188, Jan. 2008.
26. Z. W. Li and M. C. Zhou, "On siphon computation for deadlock control in a class of Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 38, no. 3, pp. 667-679, May 2008.
27. Z. W. Li, MTS 2.0, Marking transition separation software package, School Electro-Mech. Eng., Xidian Univ., Shaanxi, China, 2007.
28. J. Park and S. A. Reveliotis, "Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Autom. Control, vol. 16, no. 2, pp. 190-195, Apr. 2000.
29. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Autom. Control, vol. 46, no. 10, pp. 1572-1583, Oct. 2001.
30. J. Park and S. A. Reveliotis, "Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states," IEEE Trans. Robot. Autom., vol. 18, no. 2, pp. 234-240, Apr. 2002.
31. S. A. Reveliotis, "On the siphon-based characterization of liveness in sequential resource allocation systems," in Proc. Int. Conf. Appl. Theory Petri Nets 2003, vol. 2679 (LNCS), W. M. P. van der Aalst and E. Best, Eds. Berlin, Germany: Springer-Verlag, 2003, pp. 241-255.
32. Y. Souissi and G. Memmi, "Composition of nets via a communication medium," in Lecture Notes in Computer Science, vol. 483, G. Rozenberg, Ed. London, U.K.: Springer-Verlag, 1990, pp. 457-470.
33. P. H. Starke. (2003). INA: Integrated Net Analyzer [Online]. Available: http://www2.informatik.hu-berlin.de/starke/ina.html
34. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, "A structural approach to the problem of deadlock prevention in processes with shared resources," in Proc. 4th Workshop Discr. Event Syst., 1998, pp. 273-278.
35. 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. Technol., vol. 19, no. 3, pp. 192-208, 2002.
36. M. Uzam and M. C. Zhou, "An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 37, no. 3, pp. 362-371, May 2007.
37. M. Uzam and M. C. Zhou, "An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems," Int. J. Prod. Res., vol. 44, no. 10, pp. 1987-2030, 2006.
38. N. Viswanadham, Y. Narahari, and T. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 713-723, Dec. 1990.
39. N. Q. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model," IEEE Trans. Syst., Man, Cybern. C., Appl. Rev., vol. 29, no. 2, pp. 192-204, May 1999.
40. N. Q. Wu and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems," IEEE Trans. Robot. Autom., vol. 17, no. 5, pp. 658-669, Oct. 2001.
41. N. Q. Wu and M. C. Zhou, "Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 35, no. 6, pp. 1193-1202, Dec. 2005.
42. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 7, no. 6, pp. 853-859, Dec. 1991.
43. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources," IEEE Trans. Autom. Control, vol. 41, no. 2, pp. 289-295, Feb. 1996.
44. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources," IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1991.
45. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets formanufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, 1992.
46. M. C. Zhou and K. Venkatesh, Modelling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
47. B. Zouari and K. Barkaoui, "Parameterized supervisor synthesis for a modular class of discrete event systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 2003, pp. 1874-1879.