Generalized mutual exclusion constraints and monitors for colored Petri nets

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 2, Issue , 2003, Pages 1860-1865

  Fanti, Maria Pia ^a   Giua, Alessandro ^b   Seatzu, Carla ^b  

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Colored Petri nets; Generalized mutual exclusion constraints; Monitor places; Petri nets

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; COMPUTER AIDED LOGIC DESIGN; CONSTRAINT THEORY; MATRIX ALGEBRA; SET THEORY;

GENERALIZED MUTUAL EXCLUSION CONSTRAINT; LEGAL MARKINGS; MULTISETS;

PETRI NETS;

EID: 0242576234     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. M.P. Fanti, A. Giua, C. Seatzu, "A deadlock prevention method for railway networks using monitors for colored Petri nets," Proc. 2003 IEEE Int. Conf. on Systems, Man and Cybernetics, Washington, USA, October 2003.
2. A. Giua, F. DiCesare, M. Silva, "Generalized mutual exclusion constraints for nets with uncontrollable transitions," Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, Chicago, USA, pp. 974-979, October 1992.
3. L.E. Holloway, B.H. Krogh, A. Giua, "A survey of Petri net methods for controlled discrete event systems", Discrete Event Dynamic Systems: Theory and Application, Vol. 7, No. 2, pp. 151-190, 1997.
4. K. Jensen, Coloured Petri Nets. Basic concepts, analysis methods and practical use. Volume 1: Basic Concepts, EATCS Monographs on Theoretical Computer Science, Springer Verlag, 1992.
5. K. Jensen, Coloured Petri Nets. Basic concepts, analysis methods and practical use. Volume 2: Analysis methods, EATCS Monographs on Theoretical Computer Science, Springer Verlag, 1994.
6. J. O. Moody, P.J. Antsaklis, Supervisory control of discrete event systems using Petri nets, Kluwer Academic Publishers, 1998.
7. J.O. Moody, K. Yamalidou, M.D. Lemmon and P.J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, Vol. 32, N. 1, pp. 15-28, January 1996.
8. T. Murata, "Petri Nets: properties, analysis and applications," Proceedings of the IEEE, Vol. 77, No. 4, pp. 541-580, April 1989.
9. N. Rezg, X.L. Xie, A. Ghaffari, "Supervisory control in discrete event systems using the theory of regions," Proc. 5th Workshop on Discrete Event Systems, Ghent, Belgium, pp. 391-398, August 2000.
10. G. Stremersch, R.K. Boel, "Structuring acyclic Petri nets for reachability analysis and control," Discrete Event Dynamic Systems: Theory and Applications, Vol. 12, No. 1, pp. 7-42, January 2002.