Identification of free-labeled Petri nets via integer programming

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 7639-7644

  Giua, Alessandro ^a   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; INTEGER PROGRAMMING; PETRI NETS;

FINITE LANGUAGE; FREE-LABELED PETRI NETS; STRUCTURAL CONSTRAINTS;

IDENTIFICATION (CONTROL SYSTEMS);

EID: 33847217668     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1583395     Document Type: Conference Paper

References (11)

1. D. Angluin. Inference of reversible languages. Journal of the ACM, 29(3):741-765, 1982.
2. E. Badouel and P. Darondeau. Theory of regions. Lecture Notes in Computer Science: Lectures on Petri Nets I: Basic Models, 1491:529-586, 1998.
3. A. Bemporad and M. Morari. Control of systems integrating logic, dynamics and constraints. Automatica, 35(3):407-429, 1999.
4. T. Bourdeaud'huy and P. Yim. Synthèse de réseaux de Petri à partir d'exigences. In Actes de la 5me conf. francophone de Modélisation et Simulation, pages 413-4-20, Nantes, France, September 2004.
5. E. Mark Gold. Complexity of automaton identification from given data. Information and Control, 37(3):302-320, 1978.
6. K. Hiraishi. Construction of a class of safe Petri nets by presenting firing sequences. In Jensen, K., editor, Lecture Notes in Computer Science; 13th International Conference on Application and Theory of Petri Nets 1992, Sheffield, UK, volume 616, pages 244-262. Springer-Verlag, June 1992.
7. M.E. Meda-Campaña and E. López-Mellado. Incremental synthesis of Petri net models for identification of discrete event systems. In Proc. 41th IEEE Conf. on Decision and Control, pages 805-810, Las Vegas, Nevada USA, December 2002.
8. M.E. Meda-Campaña and E. López-Mellado. Required event sequences for identification of discrete event systems. In Proc. 42th IEEE Conf. on Decision and Control, pages 3778-3783, Maui, Hawaii, USA, December 2003.
9. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
10. R.S. Sreenivas. On minimal representations of Petri net languages. In Proc. WODES'02: 6th Work, on Discrete Event Systems, pages 237-242, Zaragoza, Spain, October 2002.
11. J.H. van Schuppen. System theory for system identification. Journal of Econometrics, 118(1-2):313-339, January-February 2004.