On line identification of discrete event systems via Petri nets: An application to monitor specification

Proceedings of the 3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007

Volumn , Issue , 2007, Pages 893-898

  Dotoli, Mariagrazia ^a,b   Fanti, Maria Pia ^a,b   Mangini, Agostino M ^b  

^a IEEE

^b POLITECNICO DI BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DISCRETE EVENT SIMULATION; PETRI NETS; REAL TIME SYSTEMS;

EXCLUSION CONSTRAINTS; MONITOR SPECIFICATION;

IDENTIFICATION (CONTROL SYSTEMS);

EID: 44449085007     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2007.4341704     Document Type: Conference Paper

References (15)

1. D. Angluin, "Introductive inference of formal languages from positive data", Information and Control, vol. 45, pp. 117-135, 1980.
2. T. Bourdeaud'Huy, P. Yim, "Synthèse de réseaux de Petri àpartir d'exigences", in Proc. 5th French Conference on Modeling and Simulation, MOSIM'04, Nantes, France, 8 pp., 2004 (in French).
3. M.P. Cabasino, A. Giua, C. Seatzu, "Identification of deterministic Petri nets", in Proc. 8th International Workshop on Discrete Event Systems, Ann Harbor, MI, pp. 325-331, 2006.
4. C.G. Cassandras, S. Lafortune, An Introduction to Discrete Event Systems. Boston, MA, USA: Kluwer Academic Publisher, 1999.
5. S.L. Chung, C.L. Li, J.C. Wu, S.T. Wang, "Online modeling refinement for discrete event systems", in Proc. IEEE Conf. on Systems, Man and Cybernetics, Washington, D.C., pp. 2739-2744, 2003.
6. M. Dotoli, M.P. Fanti, A.M. Mangini, "An optimization approach for identification of Petri nets", in Proc. 8th Int. Workshop on Discrete Event Systems, Ann Harbor, MI, pp. 332-337, 2006.
7. M. Dotoli, M.P. Fanti, A.M. Mangini, "Real time identification of discrete event systems by Petri nets", Proc. DCDS'2007, the 1st IFAC Workshop on Dependable Control of Discrete Systems, Paris, France, 6 pp., 2007.
8. n", J. of Computer and System Sciences, vol. 59, pp. 373-391, 1999.
9. A. Giua, F. DiCesare, M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions", in Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, Chigago, IL, pp. 974-979, 1992.
10. A. Giua, C. Seatzu, "Identification of free-labeled Petri nets via integer programming", in Proc. 44th IEEE Conf. on Decision and Control, Sevilla, Spain, pp. 7639-7644, 2005.
11. Gnu Linear Programming Kit http://www.gnu.org/software/glpk.html
12. E.M. Gold, "Language identification in the limit", Information and Control, vol. 10, pp. 447-474, 1967.
13. K. Hiraishi, "Construction of a class of safe Petri nets by presenting firing sequences" In Jensen K. Editor, Lecture notes in Computer Science, Vol. 616, 244-262, Springer-Verlag, 1992.
14. M.E. Meda-Campaña, E. López-Mellado, "Identification of concurrent discrete event systems using Petri nets", in Proc. IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation, Paris, France, 8 pp., 2005.
15. J.L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ, USA: Prentice Hall, 1981.