An optimization approach for identification of Petri Nets

Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Volumn , Issue , 2006, Pages 332-337

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

^a IEEE   (Italy)

^b POLITECNICO DI BARI   (Italy)

Author keywords

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

Indexed keywords

IDENTIFICATION (CONTROL SYSTEMS); INTEGER PROGRAMMING; LINEAR PROGRAMMING; OPTIMIZATION; PETRI NETS; PROBLEM SOLVING;

INTEGER LINEAR PROGRAMMING; PETRI NET MODELING;

DISCRETE EVENT SIMULATION;

EID: 34250667850     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/wodes.2006.382528     Document Type: Conference Paper

References (12)

1. Angluin D., "Introductive Inference of Formal Languages from Positive Data", Information and Control, Vol. 45, pp. 117-135, 1980.
2. Badouel E., Darondeau, P. "Theory of regions", Lecture Notes in Computer Science: Lectures on Petri Nets I: Basic Models, 1491, pp.
3. 529-586, 1998. [3] Giua A., Seatzu, C., "Identification of Petri Nets via Integer Programming", Proc. 44st IEEE Conference on Decision and Control, 2005.
4. Giua A., Seatzu C., "Observability of Place/Transition Nets", IEEE Transactions on Automatic Control, Vol. 47, no. 9, pp. 1424-1437, 2002.
5. Gold E.M., "Complexity of Automaton Identification from Given Data", Information and Control, Vol. 37, pp. 117-135, 1980.
6. Hillier F.S., Lieberman G.J., Introduction to Operations Research, Me Graw Hill, New York, NY, USA, 2005.
7. Hopcroft J.E., Ullman J.D., Introduction to Automata Theory, Languages and Computation, Addison-Wesley Publishing Company, Redwood City, CA, USA, 1979.
8. Klein S., Litz L., Lesage J.J., "Fault detection of discrete event systems using an identification approach", Proc. IFAC 2005, Prague July 4-8, 2005.
9. Meda-Campaña M.E., López-Mellado E., "Incremental Synthesis of Petri Net Models for Identification of Discrete Event Systems", Proc. 41st IEEE Conference on Decision and Control, Vol. 1, pp. 805-810, 2002.
10. Meda-Campaña M.E., López-Mellado E., "Required Event Sequences for Identification of Discrete Event Systems", Proc. 42nd IEEE Conference on Decision and Control, Vol. 4, pp. 3778-3783, 2003.
11. Peterson, J.L., Petri Net Theory and the Modeling of Systems, Prentice Hall, Englewood Cliffs, NJ, USA, 1981.
12. Sreenivas R.S., "On Minimal Representations of Petri net Languages", Sixth International Workshop on Discrete Event Systems, pp. 237-242, 2002.