Identification of deterministic Petri nets

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

Volumn , Issue , 2006, Pages 325-331

  Cabasino, Maria Paola ^a   Giua, Alessandro ^a   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; FORMAL LANGUAGES; IDENTIFICATION (CONTROL SYSTEMS); INTEGER PROGRAMMING; PETRI NETS; PROBLEM SOLVING;

IDENTIFICATION PROBLEM; INTEGER PROGRAMMING PROBLEM; PETRI NET SYSTEMS;

SYSTEMS ANALYSIS;

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

References (15)

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-420, Nantes, France, September 2004.
5. R.E. Burkard and F. Rendl. Lexicographic bottleneck problems. Operations Research Letters, 10:303-308, 1991.
6. m. Journal of Computer and System Sciences, 59(3):373-391, December 1999.
7. A. Giua and C. Seatzu. Identification of free-labeled Petri nets via integer programming. In Proc. 44th IEEE Conf. on Decision and Control, Seville, Spain, December 2005.
8. E. Mark Gold. Complexity of automaton identification from given data. Information and Control, 37(3):302-320, 1978.
9. 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.
10. 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.
11. 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.
12. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
13. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Englewood Cliffs, New Jersey: Prentice Hall, Inc., 1981.
14. 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.
15. J.H. van Schuppen. System theory for system identification. Journal of Econometrics, 118(1-2):313-339, January-February 2004.