Optimal Petri-net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 39, Issue 1, 2009, Pages 188-199

  Xing, Keyi ^a   Zhou, Meng Chu ^b,c   Liu, Huixia ^a   Tian, Feng ^a  

^a XI'AN JIAOTONG UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c XIDIAN UNIVERSITY   (China)

Author keywords

Automated manufacturing systems (AMSs); Control policy; Deadlock avoidance; Petri net; Polynomial complexity

Indexed keywords

ALPHA PARTICLE SPECTROMETERS; ASSET MANAGEMENT; AUTOMATION; DENSE WAVELENGTH DIVISION MULTIPLEXING; GRAPH THEORY; MANUFACTURE; MARINE BIOLOGY; NETWORKS (CIRCUITS); PARTICLE SPECTROMETERS; PETRI NETS; PLANNING; POLYNOMIAL APPROXIMATION; PRODUCTION ENGINEERING; RESOURCE ALLOCATION;

AUTOMATED MANUFACTURING SYSTEMS (AMSS); CONTROL POLICY; DEADLOCK AVOIDANCE; PETRI NET; POLYNOMIAL COMPLEXITY;

POLYNOMIALS;

EID: 58149136242     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2008.2007947     Document Type: Conference Paper

References (51)

1. T. Araki, Y. Sugiyama, and T. Kasami, "Complexity of the deadlock avoidance problem," in Proc. 2nd IBM Symp. Math. Found. Comput. Sci. 1977, pp. 229-257.
2. Z. Banaszak and B. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Autom., vol. 6, no. 12, pp. 724-734, Dec. 1990.
3. J. Blazewicz, D. Bovet, J. Brzezinski, G. Gambosi, and M. Talano, "Optimal centralized algorithms for store-and-forward deadlock avoidance," IEEE Trans. Comput., vol. 43, no. 11, pp. 1333-1338, Nov. 1994.
4. J. Ezpeleta, J. 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.
5. M. Fanti, "Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service," IEEE Trans. Syst, Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 80-92, Jan. 2004.
6. M. Fanti and M. 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.
7. F. P. Fanti, B. Malone, S. Mascolo, and B. Tutchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Autom., vol. 13, no. 3, pp. 347-363, Jun. 1997.
8. M. Fanti, B. Maione, and B. Turchiano, "Event control for deadlock in production systems with multiple capacity resources," Stud. Inform. Control, vol. 7, no. 4, pp. 343-364, 1998.
9. M. Garey and D. Johnson, Computer, and Intractability: A Guide to the Theory of NP-Completeness. New York: Freeman, 1979.
10. E. Gold, "Deadlock prediction: Easy and difficult cases," SIAM J. Comput., vol. 7, no. 3, pp. 320-336, Aug. 1978.
11. A. Gurel, F. Lewis, and J. Mireles, "Matrix approach to deadlock free dispatching in multi-class finite buffer flowlines," IEEE Trans. Autom. Control, vol. 45, no. 11, pp. 2086-2090, Nov. 2000.
12. F. Hsien and S. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 196-209, Apr. 1994.
13. Y. Huang, M. Jeng, X. Xie, and S. Chung, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., vol. 39, no. 2, pp. 283-305, Jan. 2001.
14. M. Jeng, "Modular synthesis of Petri nets for modeling flexible manufacturing system," Int. J. Flex. Manuf. Syst., vol. 7, no. 4, pp. 287-310, 1995.
15. M. 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.
16. M. Lawley, S. Revelious, and P. Ferreira, "Design guidelines for deadlock-handling strategies in flexible manufacturing systems," Int. J. Flex. Manuf. Syst., vol. 9, no. 1, pp. 5-30, Jan. 1997.
17. M. Lawley, S. Reveliotis, and P. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 14, no. 5, pp. 796-809, Oct. 1998.
18. M. Lawley and S. Reveliotis, "Deadlock avoidance for sequential resource allocation systems: Hard and easy cases," Int. J. Flex. Manuf Syst., vol. 13, no. 4, pp. 385-404, Oct. 2001.
19. Y. Leung and G. Sheen, Resolving deadlocks in flexible manufacturing cells," J. Manuf. Syst., vol. 12, no. 4, pp. 291-304, 1994.
20. Z. Li and M. 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. 14, no. 1, pp. 38-51, Jan. 2004.
21. Z. Li and M. 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.
22. Z. 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 Tnans. Autom. Sci.Eng., vol. 5, no. 1, pp. 182-188, Jan. 2008.
23. Z. Li, H. Hu, and A. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Pet nets," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 517-526, Jul. 2007.
24. J. Park and S. 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.
25. S. Reveliotis, M. Lawley, and P. Ferreira, "Polynomial-complexity dead-lock avoidance policies for sequential resource allocation systems," IEEE Trans. Autom. Control, vol. 42, no. 10, pp. 1344-1357, Oct. 1997.
26. S. Revelious and P. Ferreira, "Deadlock avoidance policies for automated manutacturing cells," IEEE Trans. Robot. Autom., vol. 12, no. 6, pp. 845-857, Dec. 1996.
27. S. Reveliotis, Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach. New York: Springer-Verlag, 2005
28. 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.
29. E. Roszkowska and J. Jentink, "Minimal restrictive deadlock avoidance in FMSs," in Proc. ECC, 1993, pp. 530-534.
30. M. Uzam and M. Zhou, "Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing system," in Proc. IEFE Int. Conf. Syst., Alan, Cybern., 2004, pp. 4260-4265.
31. 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.
32. N. Wu and M. C. Zhou, "Deadlock resolution in automated manufacturing system with robots," IEEE Duns. Autom. Sci Eng., vol. 4, no. 3, pp. 474-480, Jul. 2007.
33. N. Wu and M. 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.
34. N. Wu, M. Zhou, and Z. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 56-69, Jan. 2008.
35. R. Wysk, N. Yang, and S. Joshi, "Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches," J. Manuf. Syst., vol. 13, no. 2, pp. 128-138, 1994.
36. X. Xie and M. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans. Robot. Autom., vol. 15, no. 4, pp. 692-703, Aug. 1999.
37. K. Xing, B. Hu, and H. Chen, "Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources," IEEE Trans. Autom. Control, vol. 41, no. 2, pp. 289-295, Feb. 1996.
38. K. Xing, F. Tian, J. Li, and S. Qu, "A Petri net based deadlock avoidance controller for manufacturing systems with multiple resource service," Dyn. Contin. Discrete Impuls. Syst. Ser. A, vol. 13, pp. 812-817, Dec. 2006.
39. K. Xing and B. Hu, "Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., HI, 2005, pp. 1651-1656.
40. 3PR," in Proc. 17th HAC World Congr., Seoul, Korea, Jul. 6-11, 2008, pp. 14 490-14 495.
41. M. Zhou, K. McDermott, and P. Patel, "Petri net synthesis and analysis of a flexible manufacturing system cell," IEEE Duns. Syst., Man, Cybern., vol. 23, no. 2, pp. 523-531, Mar. 1993.
42. M. Zhou and K. Venkatesh, Modeling Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
43. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer, 1993.
44. M. C. Zhou and M. P. Fanti, Eds., Deadlock Resolution in Computer Integrated System, New York: Marcel Dekker, Jan. 2005.
45. M. C. Zhou, and F. DiCesare, "Adaptive design of Petri net contollers for error recovery in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 19, no. 5, pp. 961-973, Sept./Oct. 1989.
46. 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.
47. M. C. Zhou and M. C. Len, "Modeling and performance analysis of a flexible PCB assembly station using Petri nets," Trans. ASME, J. Electron. Packag., vol. 113, no. 4, pp. 410-416, Dec. 1991.
48. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, Jun. 1992.
49. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system," IFAC J. Automatica, vol. 28, no. 6, pp. 1199-1208, 1992.
50. M. C. Zhou, "Deadlock avoidance methods for a distributed robotic system: Petri net modeling and analysis," J. Robot. Syst., vol. 12, no. 3, pp. 177-187, 1995.
51. R. Zurawski and M. C. Zhou, "Petri nets and industrial applications: A tutorial," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 567-5883, Dec. 1994.