Deadlock avoidance in petri nets with uncontrollable transitions

Proceedings of the American Control Conference

Volumn 2, Issue , 1998, Pages 1257-1258

  Moody, John O ^a   Antsaklis, Panos J ^a  

^a University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DEADLOCK AVOIDANCE; EFFICIENT CONTROL; LINEAR CONSTRAINTS; PLANT MODEL; UNOBSERVABLE;

CONTROL;

PETRI NETS;

EID: 0345275431     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.1998.703616     Document Type: Conference Paper

References (9)

1. K. Barkaoui and I. B. Abdallah, "Deadlock avoidance in FMS based on structural theory of petri nets", In IEEE Symposium on Emerging Technologies and Factory Automation, volume 2, pp. 499-510, Piscataway, NJ, 1995. IEEE.
2. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems", IEEE Transactions on Robotics and Automation, vol. 11, no. 2, pp. 173-184, April 1995.
3. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions", In Proceedings of the 1992 IEEE International Conference on Systems, Man, and Cybernetics, pp. 974-979, Chicago, IL, October 1992.
4. H.-H. Huang, F. L. Lewis, and D. A. Tacconi, "Deadlock analysis using a new matrix-based controller for reentrant flow line design", In IECON Proceedings (Industrial Electronics Conference), volume 1, pp. 463-468. IEEE, Los Alamitos, CA, 1996.
5. Y. Li and W. M. Wonham, "Control of vector discrete event systems II - controller synthesis", IEEE Transactions on Automatic Control, vol. 39, no. 3, pp. 512-530, March 1994.
6. J. O. Moody, Petri Net Supervisors for Discrete Event Systems, PhD thesis, Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN., 1998.
7. J. O. Moody and P. J. Antsaklis, "Supervisory control of Petri nets with uncontrollable/unobservable transitions", In Proceedings of the 35th IEEE Conference on Decision and Control, pp. 4433-4438, Kobe, Japan, December 1996.
8. R. S. Sreenivas, "On the existence of supervisory policies that enforce liveness in discrete-event dynanic systems modeled by controlled Petri nets", IEEE Transactions on Automatic Control, vol. 42, no. 7, pp. 928-945, July 1997.
9. K. Yamalidou, J. O. Moody, M. D. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants", Automatica, vol. 32, no. 1, pp. 15-28, January 1996.