Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets

IEEE Transactions on Industrial Informatics

Volumn 2, Issue 4, 2006, Pages 313-325

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

^a IEEE   (China)

^b XIDIAN UNIVERSITY   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d INSTITUTE OF AUTOMATION   (China)

Author keywords

Deadlock prevention; Elementary siphon; Flexible manufacturing system; Petri net; Siphon

Indexed keywords

DEADLOCK PREVENTION; ELEMENTARY SIPHON; FLEXIBLE MANUFACTURING SYSTEMS (FMS); MIXED INTEGER PROGRAMMING (MIP);

AGILE MANUFACTURING SYSTEMS; COMPUTER SYSTEM RECOVERY; INTEGER PROGRAMMING; NUMERICAL METHODS; PETRI NETS; SIPHONS;

SUPERVISORY PERSONNEL;

EID: 33751511135     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2006.885185     Document Type: Article

References (37)

1. M. A. Lawley, S. A. Reveliotis, and P. M. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 14, no. 2, pp. 796-809, Apr. 1998.
2. S. A. Reveliotis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Autom., vol. 12, no. 6, pp. 845-857, Dec. 1996.
3. 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.
4. S. A. Reveliotis, M. A. Lawely, and P. M. Ferreira, "Polynomial- complexity deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Autom. Control, vol. 42, no. 10, pp. 1344-1357, Oct. 1997.
5. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for petri net modelling for manufacturing systems," IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1991.
6. 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.
7. M. D. Jeng and X. L. Xie, "Analysis of modularly composed nets by siphons," IEEE Trans. Syst., Man, Cybern., A, vol. 29, no. 4, pp. 399-406, Jul. 1999.
8. H. Cho, T. K. Kumaran, and R. A. Wysk, "Graph-theoretic deadlock detection and resolution for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 3, pp. 413-421, Jun. 1995.
9. M. P. Fanti, B. Maione, S. Mascolo, and A. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production system," IEEE Trans. Robot. Autom., vol. 13, no. 3, pp. 347-363, Jun. 1997.
10. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. Robot. Autom., vol. 7, no. 6, pp. 853-859, Dec. 1991.
11. N. Wu and M. Zhou, "Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles," IEEE Trans. Syst., Man., Cybern. B, vol. 35, no. 6, pp. 1193-1202, Dec. 2005.
12. _, "Deadlock modeling and control of automated guided vehicle systems," IEEE/ASME Trans. Robot. Mechatronics, vol. 9, no. 1, pp. 50-57, 2004.
13. 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. 42, no. 2, pp. 289-295, Feb. 1996.
14. 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.
15. J. Ezpeleta, F. Tricas, F. García-Vallés, and J. Colom, "A banker's solution for deadlock avoidance in FMS with flexible routing and multi-source states," IEEE Trans. Robot. Autom., vol. 18, no. 4, pp. 621-625, Aug. 2002.
16. J. Ezpeleta and L. Recalde, "A deadlock avoidance approach for non-sequential resource allocation systems," IEEE Trans. Syst. Man, Cybern. A, vol. 34, no. 1, pp. 93-101, Jan. 2004.
17. I. B. Abdallah and H. A. ElMaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach," Int. J. Adv. Manuf. Technol., vol. 14, pp. 704-715, Sep. 1998.
18. K. Barkaoui and I. B. Abdallah, "A deadlock prevention method for a class of FMS," in Proc. IEEE Int. Conf. Systems, Man, Cybernetics, Vancouver, BC, Canada, 1995, pp. 4119-4124.
19. 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. Systems, Man, Cybernetics, Orlando, FL, 1997, pp. 3750-3755.
20. 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.
21. 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.
22. 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.
23. 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-141, Feb. 2003.
24. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, K. Voss, H. J. Genrich, and G. Rozenberg, Eds., "Synthesis of deadlock prevention supervisors using Petri nets," IEEE Trans. Robot. Autom., vol. 18, no. 1, pp. 59-68, Feb. 2002.
25. K. Lautenbach, "Linear algebraic calculation of deadlocks and traps," in Concurrency and Nets. New York: Springer-Verlag, 1987, pp. 315-336.
26. 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.
27. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
28. 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.
29. S. A. Reveliotis, "On the siphon-based characterization of liveness in sequential resource allocation systems," in Proc. Int. Conf. Application Theory Petri Nets, W. M. P. van der Aalst and E. Best, Eds. Berlin, Germany: Springer-Verlag, 2003, vol. 2679, pp. 241-255.
30. A. Schrijver, Theory of Linear and Integer Programming. New York: Wiley, 1998.
31. Z. W. Li, M. C. Zhou, and M. Uzam, "Comments on 'Deadlock prevention policy based on Petri nets and siphons'," Int. J. Prod. Res., vol. 42, pp. 5223-5224, Dec. 2004.
32. 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, to be published.
33. F. Tricas, F. G. Vallès, J. M. Colom, and J. Ezpeleta, R. Boel and G. Stremersch, Eds., "An iterative method for deadlock prevention in FMSs," in Proc. 5th Workshop Discrete Event Systems, Ghent, Belgium, Aug. 21-23, 2000, pp. 139-148.
34. M. C. Zhou and K. Venkatesh, Modelling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
35. P. H. Starke, INA: Integrated Net Analyzer. Germany: Handbuch, 1992.
36. Lindo, Premier Optimization Modeling Tools [Online]. Available: http://www.lindo.com.
37. M. Uzam and M. 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, May 2006.