Real time identification of discrete event systems by Petri Nets

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 1, Issue PART 1, 2007, Pages 241-246

  Dotoli, M ^a   Fanti, M P ^a   Mangini, A M ^a  

^a POLITECNICO DI BARI   (Italy)

Author keywords

Discrete event systems; Identification; Integer linear programming; Petri nets

Indexed keywords

IDENTIFICATION (CONTROL SYSTEMS); INTEGER PROGRAMMING; PETRI NETS; REAL TIME SYSTEMS;

IDENTIFICATION PROBLEM; INTEGER LINEAR PROGRAMMING; OUTPUT VECTORS; PETRI NET MODELS; REAL TIME; REAL-TIME IDENTIFICATION; UPPER BOUND;

DISCRETE EVENT SIMULATION;

EID: 79960919750     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20070613-3-fr-4909.00043     Document Type: Conference Paper

References (13)

1. Badouel, E., Berardinello L., Darondeau,P., (1997), "The synthesis problem for elementary net systems is NP-complete", Theoretical Computer Science, Vol. 186, pp. 107-134. (Pubitemid 127455863)
2. Bourdeaud'Huy T., Yim P., (2004), "Synthèse de rèseaux de Petri à partir d'exigences", Proc. 5th French Conf. on Modeling and Simulation, MOSIM'04, Nantes, France, September 1-3, 8 pp.
3. Cabasino M.P., Giua A., Seazu C., (2006), "Identification of deterministic Petri nets", Proc. 8th Int. Workshop on Discrete Event Systems, Ann Harbor, Michigan, USA, July 10-12, pp. 325-331. (Pubitemid 46944098)
4. Cassandras C. G., Lafortune S., (1999), An Introduction to Discrete Event Systems, Kluwer Academic Publisher, Boston, MA.
5. Dotoli, M., Fanti M.P., Mangini A.M., (2006a), "An optimization approach for identification of Petri nets", Proc. 8th Int. Workshop on Discrete Event Systems, Ann Harbor, Michigan, USA, July 10-12, pp. 332-337. (Pubitemid 46944099)
6. Dotoli, M., Fanti M.P., Mangini A.M., (2006b), "On-Line Identification of Discrete Event Systems by Interpreted Petri Nets", IEEE Int. Conf. on Systems, Man and Cybernetics, Taipei, Taiwan, October 8-11, pp 3040-3045.
7. m", J. of Computer and System Sciences 59, pp. 373-391. (Pubitemid 32083268)
8. Giua A., Seatzu, C., (2005), "Identification of free-labeled Petri nets via integer programming", Proc. 44th IEEE Conf. on Decision and Control, pp. 7639-7644.
9. Gnu Linear Programming Kit http://www.gnu.org/software/glpk/glpk.html
10. Hiraishi, K., (1999), "Synthesis of supervisor for discrete event systems allowing concurrent behaviour", IEEE Proceedings, Vol. 5, 13-20.
11. Meda-Campaña M.E., López-Mellado E., (2005), "Identification of Concurrent Discrete Event Systems using Petri Nets", Proc. of IMACS World Congress, Paris, France, July 11-15, 8 pp.
12. Peterson, J.L., (1981), Petri Net Theory and the Modeling of Systems, Prentice Hall, Englewood Cliffs, NJ, USA.
13. Sreenivas R.S., (2006), "On minimal representations of Petri net languages", IEEE Trans. On Automatic Control, Vol. 51, no. 5, pp. 799-804. (Pubitemid 43792641)