Linear programming techniques for the identification of place/transition nets

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2008, Pages 514-520

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

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR PROGRAMMING; PETRI NETS;

CARDINALITIES; FINITE PREFIX; LINEAR PROGRAMMING TECHNIQUES;

INTEGER PROGRAMMING;

EID: 62949225733     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2008.4739039     Document Type: Conference Paper

References (14)

1. E. Badouel and P. Darondeau. Theory of regions. Lecture Notes in Computer Science: Lectures on Petri Nets I: Basic Models, 1491:529-586, 1998.
2. T. Bourdeaud'huy and P. Yim. Synthse de rseaux de Petri partir d'exigences. In Actes de la 5me conf. Francophone de Modlisation et Simulation, pages 413-420, Nantes, France, September 2004.
3. M.P. Cabasino, A. Giua, and C. Seatzu. Identification of Petri nets from samples of their languages. DEDS, 17(4):447-474, 2007.
4. S.L. Chung, C.L. Li, J.C. Wu, and S.T. Wang. Online modeling refinement for discrete event systems. Proc. of the IEEE Conference on Systems, Man and Cybernetics, 3:2739-2744, 2003.
5. W.F. (IV) Doran and D.B. Wales. The partition algebra revisited. Journal of Algebra, 231(1):265-330, September 2000.
6. M. Dotoli, M.P. Fanti, and A.M. Mangini. On-line identification of discrete event systems by interpreted Petri nets. Proc. of the IEEE Conference on Systems, Man and Cybernetics, 4:3040-3045, 2006.
7. M. Dotoli, M.P. Fanti, and A.M. Mangini. Real time identification of discrete event systems using Petri nets. Automatica, 4(5):1209-1219, 2008.
8. F. Garcia-Valles and J.M Colom. Implicit places in net systems. In Proc. of the 8th Int. Work. on Petri Nets and Performance Models, pages 104-113, Zaragoza, Spain, 1999.
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. L.X. Li, Y. Ru, and C.N. Hadjicostis. Least-cost firing sequence estimation in labeled Petri nets. In Proc. 45th IEEE Conf. on Decision and Control, San Diego, California USA, December 2006.
11. L. Lin and Y. Jiang. The computation of hitting sets: Review and new algorithms. Information Processing Letters, 86:177-184, 2003.
12. M.E. Meda-Campaa and E. Lpez-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.
13. M.E. Meda-Campaa and E. Lpez-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.
14. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, April 1989.