On applicability of deadlock prevention policies with uncontrollable and unobservable transitions

International Journal of Innovative Computing, Information and Control

Volumn 7, Issue 7 B, 2011, Pages 4115-4127

  Qin, Meng ^a   Li, Zhiwu ^a   Khalgui, Mohamed ^b   Mosbahi, Olfa ^b  

^a XIDIAN UNIVERSITY   (China)

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

Deadlock prevention; Flexible manufacturing system; Petri net; Uncontrollable transition; Unobservable transition

Indexed keywords

A PLANTS; DEADLOCK PREVENTION; DEADLOCK PREVENTION POLICY; LINEAR PROGRAMMING PROBLEM; SUFFICIENT AND NECESSARY CONDITION; UNCONTROLLABLE TRANSITION; UNOBSERVABLE;

PETRI NETS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 79959886317     PISSN: 13494198     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)

1. F. Basile, P. Chiacchio and A. Giua, Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places, Automatica, vol.42, no.6, pp.995-1004, 2006.
2. F. Chu and X. L. Xie, Deadlock analysis of Petri nets using siphons and mathematical programming, IEEE Transactions on Robotics and Automation, vol.13, no.6, pp.793-804, 1997.
3. J. Ezpeleta, J. M. Colom and J. Martinez, A Petri net based deadlock prevention policy for exible manufacturing systems, IEEE Transactions on Robotics and Automation, vol.11, no.2, pp.173-184, 1995.
4. J. Ezpeleta, F. Tricas, F. Garc-a-Vall-es and J. M. Colom, A banker's solution for deadlock avoidance in FMS with exible routing and multiresource states, IEEE Transactions on Robotics and Automation, vol.18, no.4, pp.621-625, 2002.
5. A. Giua, F. DiCesare and M. Silva, Petri net supervisors for generalized mutual exclusion constraints, Proc. of the 12th IFAC World Congress, Sidney, vol.1, pp.267-270, 1993.
6. A. Giua and F. DiCesare, Blocking and controllability of Petri nets in supervisory control, IEEE Transactions on Automatic Control, vol.39, no.4, pp.818-823, 1994.
7. M. V. Iordache, J. O. Moody and P. J. Antsaklis, Synthesis of deadlock prevention supervisors using Petri nets, IEEE Transactions on Robotics and Automation, vol.18, no.1, pp.59-68, 2002.
8. D.-J. Jeng, Multi-platform environment semiconductor manufacturing server reengineering in practice, ICIC Express Letters, vol.4, no.2, pp.311-318, 2010.
9. B. Li and Q. Wang, Sensitivity and uncertainty analysis of equipment run efficiency model in semi-conductor manufacturing, ICIC Express Letters, vol.3, no.3(B), pp.819-824, 2009.
10. Z. W. Li and M. C. Zhou, Elementary siphons of Petri nets and their application to deadlock prevention in exible manufacturing systems, IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.34, no.1, pp.38-51, 2004.
11. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, Springer-Verlag, London, 2009.
12. Z. W. Li, M. Qin and S. Zhu, Identification of controllable transitions to decide the existence of an optimal liveness-enforcing supervisor for a class of Petri nets, Transactions of the Institute of Measurement and Control, http://tim.sagepub.com/cgi/content/abstract/0142331208100103v1, 2009.
13. R. Maeno, M. Konishi and J. Imai, Petri net solver for semiconductor manufacturing plan, In- ternational Journal of Innovative Computing, Information and Control, vol.4, no.12, pp.3193-3206, 2008.
14. J. O. Moody and P. J. Antsaklis, Petri net supervisors for DES with uncontrollable and unobservable transitions, IEEE Transactions on Automatic Control, vol.45, no.3, pp.462-476, 2000.
15. J. Park and S. A. Reveliotis, Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and exible routings, IEEE Transactions on Automatic Control, vol.46, no.10, pp.1572-1583, 2001.
16. H. Wakuya and K. Yamashita, A new type of hop field network with controllable synaptic weights for solving combinatorial optimization problems, International Journal of Innovative Computing, Information and Control, vol.5, no.12(B), pp.5051-5060, 2009.
17. K. Yamalidou, J. Moody, M. Lemmon and P. Antsaklis, Feedback control of Petri nets based on place invariants, Automatica, vol.32, no.1, pp.15-28, 1996.
18. M. Zhao, Liveness-enforcing Supervisor Design for Automated Manufacturing Systems Using Generalized Petri Nets, Ph.D. Thesis, Xidian University, 2009.