Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri nets

IEEE Transactions on Automation Science and Engineering

Volumn 8, Issue 4, 2011, Pages 794-804

  Hu, Hesuan ^a,b,c   Zhou, Mengchu ^c,d   Li, Zhiwu ^a,e  

^a XIDIAN UNIVERSITY   (China)

^b KING SAUD UNIVERSITY   (Saudi Arabia)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d Ministry of Education   (China)

^e Department of Computer Science   (Germany)

Author keywords

Automated manufacturing systems; general mutual exclusion constraint; optimization; Petri nets; supervisory control

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; IMPLEMENTATION COST; MUTUAL EXCLUSIONS; SUPERVISORY CONTROL; SYNTHESIS PROCESS; SYSTEM CYCLE TIME; TIMED PETRI NET;

AUTOMATION; DENSE WAVELENGTH DIVISION MULTIPLEXING; MANUFACTURE; OPTIMIZATION; PETRI NETS; PRODUCTION ENGINEERING; SUPERVISORY PERSONNEL;

MATHEMATICAL PROGRAMMING;

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

References (39)

1. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure theory of Petri nets, " in Proc. IEEE Conf. Syst., Man, Cybern., Paris, France, Oct. 1997, pp. 2755-3750.
2. K. Barkaoui and J. Romhain, "Parameterized verification of a class of resource allocation systems, " in Actes de la Conférence Internationale sur la Productique, Oct. 2003, pp. 52-59, CDTA-Alger.
3. K. Barkaoui and I. B. Abdallah, "Analysis of a resource allocation problem in fms using structure theory of Petri nets, " in Proc. 1st Int. Workshop on Manuf. Petri Nets, Osaka, Japan, Jan. 1996, pp. 1-15.
4. K. Barkaoui and J. F. Peyre, "On liveness and controlled siphons in Petri nets, " in Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 1996, vol. 1091, pp. 57-72. (Pubitemid 126085899)
5. F. Basile, P. Chiacchio, and A. Giua, "An optimizaiton approach to Petri net monitor design, " IEEE Trans. Autom. Control, vol. 52, no. 2, pp. 306-311, Feb. 2007. (Pubitemid 46444286)
6. J. Campos, G. Chiola, and M. Silva, "Ergodicity and throughput bounds of Petri nets with unique consistent firing count vector, " IEEE Trans. Softw. Eng., vol. 17, no. 2, pp. 117-125, Feb. 1991.
7. J. Campos, G. Chiola, and M. Silva, "Properties and performance bounds for closed free choice synchronized monoclass queueing networks, " IEEE Trans. Autom. Control, vol. 36, no. 12, pp. 1368-1382, Dec. 1991.
8. S. F. Chew, S. Y.Wang, and M. A. Lawley, "Robust supervisory control for product routings with multiple unreliable resources, " IEEE Trans. Autom. Sci. Eng., vol. 6, no. 1, pp. 195-200, Jan. 2009.
9. M. Dotoli, M. P. Fanti, G. Iacobellis, and A. M. Mangini, "A first-order hybrid Petri net model for supply chain management, " IEEE Trans. Autom. Sci. Eng., vol. 6, no. 4, pp. 744-758, Oct. 2009.
10. J. Ezpeleta, J. M. Colom, and J. Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems, " IEEE Trans. Robotic. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
11. A. Giua and C. Seatzu, "Modeling and supervisory control of railway networks using Petri nets, " IEEE Trans. Autom. Sci. Eng., vol. 5, no. 3, pp. 431-445, Jul. 2008.
12. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, "A Petri net structure-based deadlock prevention solution for sequential resource allocation systems, " in Proc. Int. Conf. Robotic. Autom., Barcelona, Spain, Apr. 2005, pp. 272-278.
13. F. Tricas and J. Ezpeleta, "A Petri net solution to the problem of deadlocks in systems of processes with resources, " in Proc. IEEE Int. Conf. Emerging Tech. Factory Autom., Barcelona, Spain, Oct. 1999, pp. 1047-1056. (Pubitemid 32083130)
14. H. S. Hu, M. C. Zhou, and Z. W. Li, "Liveness enforcing supervision of video streaming systems using non-sequential Petri nets, " IEEE Trans. Mult., vol. 11, no. 8, pp. 1457-1465, Nov. 2009.
15. H. S. Hu, M. C. Zhou, and Z. W. Li, "Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets, " IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 549-557, Jul. 2010.
16. H. S. Hu, M. C. Zhou, and Z. W. Li, "Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets, " IEEE Trans. Autom. Sci. Eng., vol. 7, no. 4, pp. 933-944, Oct. 2010.
17. H. S. Hu and Z. W. Li, "Clarification on the computation of liveness-enforcing supervisor for resource allocation systems with uncontrollable behavior and forbidden states, " IEEE Trans. Autom. Sci. Eng., vol. 6, no. 3, pp. 557-558, Jul. 2009.
18. H. S. Hu, M. C. Zhou, and Z. W. Li, "Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems, " IEEE Trans. Syst. Man, Cybern. A: Syst. Humans, vol. 41, no. 2, pp. 201-212, Mar. 2011.
19. Y. S. Huang, M. D. Jeng, X. L. Xie, X, and S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons, " Int. J. Prod. Res., vol. 39, no. 2, pp. 283-305, Jan. 2001.
20. J. Huang and R. Kumar, "Directed control of discrete event systems for safety and nonblocking, " IEEE Trans. Autom. Sci. Eng., vol. 5, no. 4, pp. 620-629, Oct. 2008.
21. Z. W. Li and M. C. Zhou, "Two-stage method for synthesizing livenessenforcing supervisors for flexible manufacturing systems using Petri nets, " IEEE Trans. Indust. Inform., vol. 2, no. 4, pp. 313-325, Nov. 2006.
22. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems-a Novel Petri Net Approach. London, U.K.: Springer- Verlag, 2009.
23. Z. W. Li, J. Zhang, and M. Zhao, "Liveness-enforcing supervisor design for a class of generalized Petri net models of flexible manufacturing systems, " IET Control Theory Appl., vol. 1, no. 4, pp. 955-967, Apr. 2007. (Pubitemid 46990251)
24. 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. 182-188, Jan. 2008.
25. J. S. Lee, M. C. Zhou, and P. L. Hsu, "A Petri-net approach to modular supervision with conflict resolution for semiconductor manufacturing systems, " IEEE Trans. Autom. Sci. Eng., vol. 4, no. 4, pp. 584-588, Oct. 2007. (Pubitemid 47573853)
26. Lindo Systems Inc., 2009. [Online]. Available: http://www.lindo.com.
27. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions, " IEEE Trans. Autom. Control, vol. 45, no. 3, pp. 462-476, Mar. 2000.
28. T. Murata, "Petri nets: Properties, analysis and application, " Proc. IEEE, vol. 77, no. 4, pp. 541-579, Apr. 1989.
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. (Pubitemid 33018223)
30. M. Svádová and Z. Hanzálek, J. M. Colom and M. Koutny, Eds., "Matlab toolbox for Petri nets, " in Proc. Int. Conf. Appl. Theory Petri Nets, Berlin, Jun. 2001, vol. 2075, Lect. Notes Comput. Sc., pp. 32-36.
31. 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: Syst. Humans, vol. 37, no. 3, pp. 362-371, May 2007. (Pubitemid 46621522)
32. N. Q. Wu and M. C. Zhou, System Modeling and Control with Resource- Oriented Petri Nets. New York: CRC Press, 2010.
33. 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.
34. 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, 1992.
35. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system, " Automatica, vol. 28, no. 6, pp. 1199-1208, 1992. (Pubitemid 23587956)
36. M. C. Zhou and M. D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach, " IEEE Trans. Semiconductor Manuf., vol. 11, no. 3, pp. 333-357, 1998. (Pubitemid 128742374)
37. M. C. Zhou, K. McDermott, and P. A. Patel, "Petri net synthesis and analysis of a flexible manufacturing system cell, " IEEE Trans. Syst., Man, Cybern., vol. 23, no. 2, pp. 523-531, Mar./Apr. 1993. (Pubitemid 23694031)
38. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
39. R. Zurawski and M. C. Zhou, "Petri nets and industrial applications: A tutorial, " IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 567-583, Dec. 1994.