Two simple deadlock prevention policies for S3PR based on Key-resource/operation-place Pairs

IEEE Transactions on Automation Science and Engineering

Volumn 7, Issue 4, 2010, Pages 945-957

  Liu, Guan Jun ^a   Jiang, Chang Jun ^a   Zhou, Meng Chu ^b,c  

^a TONGJI UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c XIDIAN UNIVERSITY   (China)

Author keywords

Deadlock prevention; discrete event systems (DES); flexible manufacturing systems (FMSs); Petri nets

Indexed keywords

CONTROL PLACE; CONTROL POLICY; CONTROLLED SYSTEM; DEADLOCK PREVENTION; DEADLOCK PREVENTION POLICY; DISCRETE EVENT SYSTEMS; FLEXIBLE MANUFACTURING; SEQUENTIAL PROCESS; STRICT MINIMAL SIPHON;

GRAPH THEORY; PETRI NETS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 77957763040     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2010.2050059     Document Type: Article

References (49)

1. I. B. Abdallah and H. El Maraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach", Int. J. Adv. Manuf. Tech., vol. 14, pp. 704-715, 1998.
2. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows", IEEE Trans. Robot. Automat., vol. 6, pp. 724-734, 1990.
3. K. Barkaoui and I. B. Abdallah, "An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets", in Proc. IEEE Int. Conf. Syst., Man, Cybern., San Antonio, TX, Oct. 2-5, 1994, pp. 525-530.
4. 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.
5. D. Y. Chao, "Incremental approach to computation of elementary siphons for arbitrary simple sequential processes with resources", IET Control Theory Appl., vol. 2, pp. 168-179, 2008.
6. H. Cho, T. K. Kumaran, and R. A. Wysk, "Graph-theoretic deadlock detection and resolution for flexible manufacturing systems", IEEE Trans. Robot. Automat., vol. 11, pp. 413-421, 1995.
7. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming", IEEE Trans. Robot. Automat., vol. 13, pp. 793-840, 1997.
8. 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, pp. 173-184, 1995.
9. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems", IEEE Trans. Syst., Man, Cybern., A., vol. 34, no. 1, pp. 5-22, Jan. 2004.
10. B. Hrúz and M. C. Zhou, Modeling and Control and Discrete-Event Dynamic Systems: With Petri Nets and Other Tool. New York: Springer, 2007.
11. Y. S. Huang, "Design of deadlock prevention supervisors using Petri nets", Int. J. Adv. Manuf. Technol., vol. 35, pp. 349-362, 2007.
12. 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. Automat., Seoul, Korea, May 21-26, 2001, pp. 541-546.
13. M. V. Iordache and P. J. Antsaklis, Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. New York: Springer, 2006.
14. * merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems", IEEE Trans. Syst., Man, Cybern. A., vol. 34, no. 1, pp. 102-112, Jan. 2004.
15. M. D. Jeng, X. L. Xie, and M. Y. Peng, "Process nets with resources for manufacturing modeling and their analysis", IEEE Trans. Robot. Automat., vol. 18, pp. 875-889, 2002.
16. T. K. Kumaran, W. Chang, H. Cho, and R. A. Wysk, "A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems", Int. J. Prod. Res., vol. 32, pp. 2361-2379, 1994.
17. M. Lawley and S. Reveliotis, "Deadlock avoidance for sequential resource allocation systems: Hard and easy cases", Int. J. Flex. Manuf. Syst., vol. 13, pp. 385-404, 2001. (Pubitemid 33074819)
18. 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., vol. 34, no. 1, pp. 38-51, Jan. 2004.
19. 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., vol. 38, no. 1, pp. 133-148, Jan. 2008.
20. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. New York: Springer, 2009.
21. 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. Automat. Sci. Eng., vol. 5, no. 1, pp. 182-188, Jan. 2008.
22. Z. W. Li, M. C. Zhou, and N. Q. Wu, "A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems", IEEE Trans. Syst., Man, Cybern., C, vol. 38, no. 1, pp. 173-188, Jan. 2008.
23. G. J. Liu and C. J. Jiang, "Incidence matrix based methods for computing repetitive vectors and siphons of Petri net", J. Inf. Sci. Eng., vol. 25, pp. 121-136, 2009.
24. G. J. Liu, C. J. Jiang, L. J. Chen, and Z. H. Wu, "Two types of extended RSNBs and their application in modeling flexible manufacturing systems", Int. J. Adv. Manuf. Tech., vol. 45, pp. 573-582, 2009.
25. G. J. Liu, C. J. Jiang, Z. H. Wu, and L. J. Chen, "A live subclass of petri net and their application in modeling flexible manufacturing systems", Int. J. Adv. Manuf. Tech., vol. 41, pp. 66-74, 2009.
26. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings", IEEE Trans. Automat. Contr., vol. 46, no. 10, pp. 1572-1583, Oct. 2001.
27. L. Piroddi, R. Cordone, and I. Fumagalli, "Selective siphon control for deadlock prevention in Petri nets", IEEE Trans. Syst., Man, Cybern., A., vol. 38, pp. 1337-1348, 2008.
28. L. Piroddi, M. Cossalter, and L. Ferrarini, "A resource decoupling approach for deadlock prevention in FMS", Int. J. Adv. Manuf. Tech., vol. 40, pp. 157-170, 2009.
29. S. A. Reveliotis, "Implicit siphon control and its role in the livenessenforcing supervision of sequential resource allocation systems", IEEE Trans. Syst., Man, Cybern., A., vol. 37, no. 3, pp. 319-328, May 2007.
30. P. H. Starke, INA: Integrated Net Analyzer. [Online]. Available: http://www2.informatik.hu-berlin. de/~starke/ina.html 2003
31. 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 resources", in Proc. WODES'98, Cagliari, Italy, Aug. 26-28, 1998, pp. 273-278.
32. M. Uzam, "The use of petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems", Int. J. Adv. Manuf. Technol, vol. 23, pp. 204-219, 2004.
33. 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, pp. 192-208, 2002.
34. M. Uzam, Z. W. Li, and M. C. Zhou, "Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS", Int. J. Adv. Manuf. Technol., vol. 35, pp. 150-168, 2007.
35. M. Uzam and M. C. Zhou, "An iterative synthesis approach to Petri netbased deadlock prevention policy for flexible manufacturing systems", IEEE Trans. Syst., Man, Cybern., A., vol. 37, no. 3, pp. 362-371, May 2007.
36. 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.
37. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models", IEEE Trans. Robot. Automat., vol. 6, pp. 713-723, 1990.
38. 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., vol. 29, pp. 182-204, 1999.
39. N. Q. Wu and M. C. Zhou, "Modeling and deadlock control of automated guided vehicle systems", IEEE/ASME Trans. Mechatronics, vol. 9, pp. 50-57, 2004.
40. 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., vol. 35, pp. 1193-1202, 2005.
41. N. Q. Wu and M. C. Zhou, "Deadlock resolution in automated manufacturing systems with robots", IEEE Trans. Automat. Sci. Eng., vol. 4, no. 3, pp. 474-480, Jul. 2007.
42. N. Q. Wu and M. C. Zhou, "Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets", Int. J. Prod. Res., vol. 45, no. 15, pp. 3439-3456, 2007.
43. N. Q. Wu and M. C. Zhou, System Modeling and Control With Resource-Oriented Petri Nets. New York: CRC Press, 2010.
44. N. Q. Wu, M. C. Zhou, and Z. W. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems", IEEE Trans. Syst., Man, Cybern., A., vol. 38, no. 1, pp. 56-69, Jan. 2008.
45. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing systems", IEEE Trans. Robot. Automat., vol. 7, pp. 853-859, 1991.
46. X. L. Xie and M. D. Jeng, "ERCN-merged nets and their analysis using siphons", IEEE Trans. Robot. Automat., vol. 15, pp. 692-703, 1999.
47. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources", IEEE Trans. Automat. Contr., vol. 41, no. 2, pp. 289-295, Feb. 1996.
48. K. Y. Xing, M. C. Zhou, H. Liu, and F. Tian, "Optimal Petri-netbased polynomial-complexity deadlock-avoidance policies for automated manufacturing systems", IEEE Trans. Syst., Man, Cybern., A., vol. 39, no. 1, pp. 188-199, Jan. 2009.
49. M. C. Zhou, F. Di Cesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets for manufacturing systems", IEEE Trans. Robot. Automat., vol. 8, pp. 350-361, 1992.