A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems

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

Volumn 38, Issue 2, 2008, Pages 173-188

  Li, ZhiWu ^a,b   Zhou, MengChu ^c   Wu, NaiQi ^d  

^a XIDIAN UNIVERSITY   (China)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

Computational complexity; Deadlock prevention; Flexible manufacturing system (FMS); Petri net

Indexed keywords

COMPUTATIONAL COMPLEXITY; FLEXIBLE MANUFACTURING SYSTEMS; RESOURCE ALLOCATION;

BEHAVIOR PERMISSIVENESS; DEADLOCK PREVENTION; STRUCTURAL COMPLEXITY;

PETRI NETS;

EID: 40949111905     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2007.913920     Document Type: Review

References (82)

1. I. B. Abdallah and H. A. ElMaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach," Int. J. Adv. Manuf. Tech., vol. 14, pp. 704-715, Sep. 1998.
2. 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. Berlin, Germany: Springer-Verlag, 1998, pp. 529-586.
3. 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.
4. K. Barkaoui and I. B. Abdallah, "Deadlock avoidance in FMS based on structural theory of Petri nets," in Proc. INRIA/IEEE Symp. Emerging Technol. Factory Autom., Paris, France, Oct. 10-13, 1995, pp. 499-510.
5. K. Barkaoui and I. B. Abdallah, "A deadlock prevention method for a class of FMS," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Vancouver, BC, Canada, Oct. 22-25, 1995, pp. 4119-4124.
6. 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., Orlando, FL, 1997, pp. 3750-3755.
7. K. Barkaoui and L. Petrucci, "Structural analysis of workflow nets with shared resources," in Proc. Workshop Workflow Manag.: Net-Based Concepts, Models, Tech., Tools, Lisbon, Portugal, Jun. 22, 1998, pp. 82-85.
8. K. Barkaoui and J. F. Pradat-Peyre, "On liveness and controlled siphons in Petri nets," in Proc. 17th Int. Conf. Appl. Theory Petri Nets. Lecture Notes in Computer Science, vol. 1091, 1996, J. Bilington and W. Reisig, Eds., New York: Springer-Verlag, pp. 57-72.
9. 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.
10. E. G. Coffman, M. J. Elphick, and A. Shoshani, "Systems deadlocks," ACM Comput. Surveys, vol. 3, no. 2, pp. 67-78, 1971.
11. F. Commoner, "Deadlocks in Petri nets," Massachusetts Comput. Associates, Wakefield, MA, Rep. CA-7206-2311, 1972.
12. K. A. D'souza and S. K. Khator, "A survey of Petri nets in automated manufacturing systems control," Comput. Ind. Eng., vol. 24, no. 1, pp. 5-16, 1994.
13. J. Ezpeleta, J. M. Couvreur, and M. Silva, "A new technique for finding a generating family of siphons, traps, and st-Components: Application to colored Petri nets," Advances in Petri Nets 1993. Lecture Notes in Computer Science, vol. 674, G. Rozenberg, Ed., New York: Springer-Verlag, 1993, pp. 126-147.
14. 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.
15. J. Ezpeleta, F. García-Vallés, and J. M. Colom, "A class of well structured Petri nets for flexible manufacturing systems," in Proc. 19th Int. Conf. Appl. Theory Petri Nets. Lecture Notes in Computer Science, vol. 1420, 1998, J. Desel and M. Silva, Eds., Berlin, Germany: Springer-Verlag, pp. 64-83.
16. J. Ezpeleta and L. Recalde, "A deadlock avoidance approach for non-sequential resource allocation systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 34, no. 1, pp. 93-101, Jan. 2004.
17. M. P. Fanti, B. Maione, and B. Turchiano, "Comparing digraph and Petri net approaches to deadlock avoidance in FMS," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 30, no. 5, pp. 783-798, Oct. 2000.
18. M. P. Fanti and M. C. Zhou, Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
19. A. Ghaffari, N. Nidhal, 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-142, Feb. 2003.
20. 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.
21. F. S. Hsieh, "Fault-tolerant deadlock avoidance algorithm for assembly processes," IEEE Trans. Syst., Man, Cybern., A, Syst., Humans, vol. 34, no. 1, pp. 65-79, Jan. 2004.
22. 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., Seoul, Korea, May 21-26, 2001, pp. 541-546.
23. 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, pp. 283-305, 2001.
24. Y. S. Huang, "Design of deadlock prevention supervisors using Petri nets," Int. J. Adv. Manuf. Tech., vol. 35, no. 3-4, pp. 349-362, 2007.
25. 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. 1248-1256, Nov. 2006.
26. F. Garcia-Vallés and J. M. Colom, "Implicit places in net systems," in Proc. 8th Int. Workshop Petri Nets Performance Models, Zaragoza, Spain, Sep. 8-10, 1999, pp. 104-113.
27. E. M. Gold, "Deadlock predication: Easy and difficult cases," SIAM J. Comput., vol. 7, no. 3, pp. 320-336, 1978.
28. Integrated Net Analyzer, Version 2.2 [Online]. Available: http:// www.informatik.hu-berlin.de/~starke/ina.html, 2003.
29. 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.
30. 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.
31. M. D. Jeng, "A Petri net synthesis theory for modeling flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern., B, Cybern. vol. 27, no. 2, pp. 169-183, Apr. 1997.
32. 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.
33. M. D. Jeng, X. L. Xie, and M. Y. Peng, "Process nets with resources for manufacturing modeling and their analysis," IEEE Trans. Robot. Autom., vol. 18, no. 6, pp. 875-889, Dec. 2002.
34. M. D. Jeng, X. L. Xie, and S.-L. Chung, "ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 102-112, Jan. 2004.
35. 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.
36. K. Lautenbach, "Linear algebraic calculation of deadlocks and traps," in Concurrency and Nets, K. Voss, H. J. Genrich, and G. Rozenberg, Eds. New York: Springer-Verlag, 1987, pp. 315-336.
37. 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.
38. M. Lawley, S. A. Reveliotis, and P. Ferreira, "Design guidelines for deadlock-handling strategies in flexible manufacturing systems," Int. J. Flexible Manuf. Syst., vol. 9, no. 1, pp. 5-30, 1997.
39. 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.
40. Z. W. Li, M. Uzam, and M. C. Zhou, "Comments on 'Deadlock prevention policy based on Petri nets and siphons'," Int. J. Prod. Res., vol. 42, no. 24, pp. 5253-5254, 2004.
41. 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.
42. 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.
43. Z. W. Li and M. C. Zhou, "Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Ind. Inf., vol. 2, no. 4, pp. 313-325, Nov. 2006.
44. Z. W. Li and M. C. Zhou, "Control of elementary and dependent siphons in Petri nets and their application," IEEE Trans. Syst., Man, Cybern., A, Syst., Humans, vol. 38, no. 1, pp. 133-148, Jan. 2008.
45. Lindo, Premier Optimization Modeling Tools. (2007). [Online]. Available: http://www.lindo.com/
46. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
47. J. Park and S. A. Reveliotis, "Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Robot. Autom., vol. 16, no. 2, pp. 190-195, Apr. 2000.
48. 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.
49. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Apr. 1989.
50. L. Recalde, E. Teruel, and M. Silva, "Improving the decision power of rank theorems," in Proc. IEEE Int. Conf. Syst., Man, Cybern, Orlando, FL, Oct. 12-15, 1997, pp. 3768-3773.
51. S. A. Reveliotis, "On the siphon-based characterization of liveness in sequential resource allocation systems," in Proc. Int. Conf. Appl. Theory Petri Nets 2003. Lecture Notes in Computer Science. vol. 2679, W. M. P. van der Aalst and E. Best, Eds. Berlin, Germany: Springer-Verlag, pp. 241-255.
52. S. A. Reveliotis, Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach. New York: Springer-Verlag, 2005.
53. S. A. Reveliotis, "Implicit siphon control and its role in the liveness-enforcing supervision of sequential resource allocation systems," IEEE Trans. Syst., Man, Cybern., A, Syst., Humans, vol. 37, no. 3, pp. 319-328, May 2007.
54. E. Roszkowska, "Supervisory control for deadlock avoidance in compound processes," IEEE Trans. Syst., Man, Cybern., A, Syst., Humans, vol. 34, no. 1, pp. 52-64, Jan. 2004.
55. A. Schrijver, Theory of Linear and Integer Programming. New York: Wiley, 1998.
56. M. Singhal, "Deadlock detection in distributed systems," IEEE Comput., vol. 22, no. 11, pp. 37-48, Nov. 1989.
57. M. Silva and E. Teruel, "Petri nets for the design and operation of manufacturing systems," Eur. J. Control, vol. 3, no. 3, pp. 182-199, 1997.
58. M. Silva, E. Teruel, and J. M. Colom, "Linear algebraic and linear programming techniques for the analysis of place/transition net systems," in Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science, W. Reisig and G. Rozenberg, Eds. Berlin, Germany: Springer-verlag, vol. 1491, pp. 309-373, 1998.
59. F. Tricas and J. Martinez, "An extension of the liveness theory for concurrent sequential processes competing for shared resources," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Vancouver, BC, Canada, Oct. 22 25, 1995, pp. 3035-3040.
60. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, "A structural approach to the problem of deadlock problems in processes with resources," in Proc. Inst. Electr. Eng. 4th Workshop Discrete Event Syst., Cagliari, Italy, Aug. 26-28, 1998, pp. 273-278.
61. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, "An iterative method for deadlock prevention in FMSs," in Proc. 5th Workshop Discrete Event Syst., R. Boel and G. Stremersch, Eds. Ghent, Belgium, Aug. 21-23, 2000, pp. 139-148.
62. T. Tricas, F. García-Vallés, J. M. Colom, and J. Eapeleta, "A Petri net structure-based deadlock prevention solution for sequential resource allocation systems," in Proc. IEEE Int. Conf. Robot. Autom. Barcelona, Spain, Apr. 18-22, 2005, pp. 271-277.
63. 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, pp. 192-208, 2002.
64. M. Uzam and M. C. Zhou, "Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., The Hague, The Netherlands, Oct. 10-13, 2004, pp. 4260-4265.
65. 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.
66. 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.
67. 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.
68. 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.
69. 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. 657-668, Oct. 2001.
70. 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.
71. R. A. Wysk, N. S. Yang, and S. Joshi, "Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches," J. Manuf. Syst., vol. 13, pp. 128-138, Dec. 1991.
72. 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.
73. X. L. Xie and M. D. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans. Robot. Autom., vol. 15, no. 4, pp. 692-703, Aug. 1999.
74. 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.
75. K. Y. Xing and B. S. Hu, "Optimal liveness Petri net supervisor synthesis for automated manufacturing systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Hawaii, USA, Oct. 10-12, 2005, pp. 282-287.
76. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, "Feedback control of petri nets based on place invariants," Automatica, vol. 32, pp. 15-28, 1996.
77. M. C. Zhou and F. DiCeasre, "Parallel and sequential exclusions for Petri net modeling for manufacturing systems," IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1991.
78. M. C. Zhou and F. DiCeasre, "A hybrid methodology for synthesis of Petri nets for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, Jun. 1992.
79. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer, 1993.
80. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
81. M. C. Zhou and M. P. Fanti, Eds., Deadlock Resolution in Computer-Integrated Systems. New York: Marcel Dekker, 2005.
82. B. Zouari and K. Barkaoui, "Parameterized supervisor synthesis for a modular class of discrete event systems," in Proc. IEEE Int. Conf. Syst. Man. Cybern., Washington, DC, Oct. 5-8, 2003, pp. 1874-1879.