Identification of Petri nets using timing information

This paper deals with the identification problem for deterministic timed Petri net systems. The proposed algorithm identifies a timed Petri net starting from the observed timed sequences. The main idea is to use the timing information to accelerate the net identification with respect to the untimed approaches. In particular, exploiting the timing it is possible to determine a set of counterexamples, i.e., a set of strings that do not belong to the language, that can be used to improve the net identification. The identification approach proposed in this paper focuses on free labeled timed Petri nets.

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  Ramavarapu S. Sreenivas.  On minimal representations of Petri net languages , 2006, IEEE Transactions on Automatic Control.

[3]  Donald E. Jarvis.  An identification technique for timed event systems , 2010, WODES.

[4]  Philippe Darondeau,et al.  Unbounded Petri Net Synthesis , 2003, Lectures on Concurrency and Petri Nets.

[5]  Kunihiko Hiraishi.  Construction of a Class of Safe Petri Nets by Presenting Firing Sequences , 1992, Application and Theory of Petri Nets.

[6]  Alessandro Giua,et al.  Identification of Petri Nets from Knowledge of Their Language , 2007, Discret. Event Dyn. Syst..

[7]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[8]  Marco Ajmone Marsan,et al.  Petri Nets in Performance Analysis: An Introduction , 1996, Petri Nets.

[9]  Luciano Lavagno,et al.  Deriving Petri Nets for Finite Transition Systems , 1998, IEEE Trans. Computers.

[10]  Philippe Darondeau,et al.  Region Based Synthesis of P/T-Nets and Its Potential Applications , 2000, ICATPN.

[11]  E. Lopez-Mellado,et al.  Required event sequences for identification of Discrete Event Systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[12]  E. Lopez-Mellado,et al.  Incremental synthesis of Petri net models for identification of discrete event systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[13]  Mariagrazia Dotoli,et al.  Real time identification of discrete event systems using Petri nets , 2008, Autom..

[14]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.