Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets

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

Volumn 37, Issue 4, 2007, Pages 517-526

  Li, Zhi Wu ^a   Hu, He Suan ^a   Wang, An Rong ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Deadlock prevention; Elementary siphon; Flexible manufacturing system (FMS); Petri net

Indexed keywords

MIXED-INTEGER PROGRAMMING; SIPHON CONTROL METHOD;

COMPUTER SYSTEM RECOVERY; INTEGER PROGRAMMING; MATHEMATICAL MODELS; PETRI NETS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 34447295641     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2007.897333     Document Type: Article

References (29)

1. 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.
2. 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.
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. 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.
5. 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.
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. 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.
8. 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. 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.
15. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
16. 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.
17. 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.
18. F. Tricas, F. G. Vallés, J.M. Colom, and J. Ezpeleta, "An iterative method for deadlock prevention in FMSs," in Proc. 5th Workshop Discrete Event Syst., Ghent, Belgium, Aug. 21-23, 2000, pp. 139-148.
19. M. C. Zhou and K. Venkatesh, Modelling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
20. M. C. Zhou and F.DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer Academic, 1993.
21. 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.
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. 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.
24. 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.
25. 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, 2003, pp. 241-255.
26. F. Garcia Valles and J. M. Colom, "Implicit places in net systems," in Proc. 8th Int. Workshop Petri Nets Perform. Models, Zaragoza, Spain, Sep. 8-10, 1999, pp. 104-113.
27. P. H. Starke INA: Integrated Net Analyzer. Handbuch. 1992.
28. Lindo Systems, Inc., Premier Optimization Modeling Tools, [Online]. Available: http://www.lindo.com.
29. 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.