A deadlock prevention approach for FMS using siphons and the theory of regions

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 6, Issue , 2004, Pages 5079-5084

  Li, ZhiWu ^a   Wang, Anrong ^a   Lin, Hua ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Deadlock prevention; Flexible manufacturing system; Petri net; Siphon; Theory of regions

Indexed keywords

DEADLOCK PREVENTION; DISCRETE EVENT SYSTEMS; POLYNOMIAL ALGORITHMS; THEORY OF REGIONS;

ALGORITHMS; CONTROLLABILITY; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; POLYNOMIALS; REDUNDANCY; SIPHONS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 15744389611     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2004.1400999     Document Type: Conference Paper

References (13)

1. T. Murata, "Petri nets: properties, analysis, and applications," Proc. IEEE, vol.77, pp.541-580, Apr. 1989.
2. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems," IEEE Trans. Robot. Automat., vol.7, pp.515-527, Aug. 1991.
3. 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, and Cybern., Part A: Systems and Humans, vol.34, pp.38-51, Feb. 2004.
4. K. Barkaoui and I. B. Abdallah, "A deadlock prevention method for a class of FMS," in Proc. IEEE Int. Conf. Systems, Man, and Cybernetics, Vancouver, BC, Canada, 1995, pp.4119-4124.
5. 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, pp.173-184, Apr. 1995.
6. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, "Synthesis of deadlock prevention supervisors using Petri nets," IEEE Trans. Robot. Automat., vol.18, pp.59-68, Feb. 2002.
7. I. B. Abdallah and H. A. ElMaraghy, "Deadlock prevention and avoidance in FMS: a Petri net based approach," Int. J. Adv. Manuf. Tech., vol.14, pp.704-715, Sept. 1998.
8. 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. Tech., vol.19, pp.192-208, 2002.
9. K. Lautenbach, "Linear algebraic calculation of deadlocks and traps," in Concurrency and Nets, K. Voss, H. J. Genrich and G. Rozenberg, Eds., New York: Springer-Verlag, pp.315-336, 1987.
10. A. Ghaffari, N. Rezg, and X, L. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Trans. Robot. Automat., vol.19, pp.137-141, Feb. 2003.
11. E. Badouel and P. Darondeau, "Theory of regions," in Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, vol.1491, W. Reisig and G. Rozenberg Eds., Berlin: Springer, pp.529-586, 1998.
12. A. Schrijver, Theory of Linear and Integer Programming, New York: John Wiley & Sons, 1998.
13. K. L. McMillan, "A technique for state space search based on unfoldings," Formal Methods in System Design, vol.6, pp.45-65, 1995.