Petri net based deadlock prevention approach for flexible manufacturing systems

Zidonghua Xuebao/Acta Automatica Sinica

Volumn 29, Issue 5, 2003, Pages 733-740

  Li, Zhi Wu ^a   Wang, An Rong ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Deadlock prevention; Elementary siphon; FMS; Petri nets

Indexed keywords

COMPUTER SYSTEM RECOVERY; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; THEOREM PROVING;

DEADLOCK PREVENTION; ELEMENTARY SIPHONS; LARGE SCALE PETRI NETS; STRICT MINIMAL SIPHONS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0742319108     PISSN: 02544156     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Ezpeleta J, Martinez J. Synthesis of live models for a class of FMSs. In: Proceedings of the IEEE International Conference on Robotics and Automation, Atlanta: IEEE Press, 1993
2. Zhou M C, Dicesare F. Parallel and sequential mutual exclusion for Petri net modeling of manufacturing systems with shared resources. IEEE Transactions on Robotics and Automation, 1991, 7(4): 515-527
3. Bananszak K, Krogh B H. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation, 1990, 6(6): 724-734
4. Ezpeleta J, Martinez J. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 1995, 11(2): 173-184
5. Iordache M V, Moody I O, Antasklis P J. A method for deadlock prevention in discrete event systems using Petri nets. Technical Report of the ISIS Group ISIS-98-004, USA: University of Notre Dame, 1998
6. Zhou M C, Dicesare F. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. New Jersey: Klu-wer Academic Publishers, 1993
7. Visvanadham N, Narahary Y, Johnson T L. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation, 1990, 6(6): 713-723
8. Wysk R A, Yang N S, Joshi S. Detection of deadlocks in flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 1991, 7(6): 853-859
9. Li Z W, Jia J Y, Ye S H. A formal design method of Petri net controllers for sequential manufactruing systems. Acta Automatica Sinica, 1997, 9(4), 213-219 (in Chinese)
10. Murata T. Petri nets: Property, analysis, and applications. IEEE Proceedings, 1989, 77(4): 41-80