A Petri nets based deadlock avoidance policy for flexible manufacturing systems

IECON Proceedings (Industrial Electronics Conference)

Volumn 2, Issue , 2004, Pages 1896-1901

  Wang, A R ^a   Li, Z W ^a   Jia, J Y ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DEADLOCK PREVENTION POLICY; GRAPH TRAVEL ALGORITHMS; PETRI NET MODELS; SUPERVISORY CONTROL;

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER SYSTEM RECOVERY; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; SET THEORY; STRUCTURAL ANALYSIS; VECTORS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 20544442978     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IECON.2004.1431873     Document Type: Conference Paper

References (20)

1. T.Murata, "Petti nets: properties, analysis, and applications," Proc. IEEE, vol.77, no.4, Apr., 1989, pp.541-580.
2. W.Ressig, Petri Nets, Springer-Verlag, Berlin; New York, 1985.
3. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application in deadlock prevention for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A., vol.34, no.1, Jan., 2004, pp.38-51.
4. 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, no.6, Dec., 1990, pp.713-723.
5. K. Barkaoui and I. B. Abdallah, " A deadlock prevention method for a class of FMS," In Proc. IEEE Int. Conf. Syst., Man, Cybern., 1995, Vancouver, BC, Canada, pp.4119- 4124.
6. 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, no.2, Apr., 1995, pp.173-184.
7. R.S.Sreenivas, "On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets," IEEE Trans. Automat. Control, vol.42, no.7, Jul, 1997, pp.928-945.
8. E.W.Dijsktra, Co-operating Sequential Processes, Programming Languages, F.Genuys (Ed), Academic Press, 1965.
9. F.Tricas, J.M.Colom, and J.Ezpeleta, "Some improvements to the Banker's algorithm based on the process structure", in Proc. IEEE Int. Conf. Robot. Automat., 2000, ICRA '00, pp.2853-2858.
10. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Automat., vol.6, no.6, Dec. 1990, pp.724-734.
11. F. S. Hsieh and S. C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol.10, no.2, Apr., 1994, pp.196-209.
12. 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. Control, vol.41, no.2, Feb., 1996, pp.289-295.
13. J.Park, Ph.D dissertation, School of Ind.and Syst. Eng., Georgia Institute of Technology, U.S.A., 2000.
14. M.C.Zhou, F.DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers, 1993.
15. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. Robot. Automat., vol.7, no.6, Dec., 1991, pp. 853-859.
16. M. D. Jeng, "Modular synthesis of Petri nets for modeling flexible manufacturing system," International Journal of Flexible Manufacturing System, vol.7, no.4, 1995, pp.287-310.
17. M. D. Jeng, X. L. Xie, and Y. S. Huang, "Manufacturing modeling using process nets with resources," In Proc. IEEE Int. Conf. Robot. Automat., 2000, ICRA '00, pp.2185-2190.
18. X. L. Xie and M. D. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans. Robot. Automat., vol.15, no.4, Aug., 1999, pp.692-703.
19. J.M.Colom, M.Silva, Advances in Petri Nets 1990. New York :Springer-verlag, 1991.
20. A.A.Desrocher and R.Y.AI-Jaar, Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis, IEEE Press, 1995.