Diagnosis of asynchronous discrete event systems, a net unfolding approach

This paper studies the diagnosis of asynchronous discrete event systems. We follow a so-called true concurrency approach, in which neither the global state nor global time are available. Instead, we use only local states in combination with a partial order model of time; our basic mathematical tool is that of Petri net unfoldings. This study was motivated by the problem of event correlation in telecommunications network management.

[1]  S. Tripakis,et al.  Undecidable problems of decentralized observation and control , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[2]  Albert Benveniste,et al.  A Petri net approach to fault detection and diagnosis in distributed systems. II. Extending Viterbi algorithm and HMM techniques to Petri nets , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[3]  Alessandro Giua,et al.  Observability of place/transition nets , 2002, IEEE Trans. Autom. Control..

[4]  Eric Fabre.  Compositional models of distributed and asynchronous dynamical systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[5]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[6]  Mischa Schwartz,et al.  Two extensions of the Viterbi algorithm , 1991, IEEE Trans. Inf. Theory.

[7]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[8]  Raja Sengupta.  Diagnosis and Communication in Distributed Systems , 1999 .

[9]  Walter Vogler,et al.  An Improvement of McMillan's Unfolding Algorithm , 2002, Formal Methods Syst. Des..

[10]  Seraphin B. Calo,et al.  Centralized vs distributed fault localization , 1995, Integrated Network Management.

[11]  Marc Courvoisier,et al.  Joining Petri nets and knowledge based systems for monitoring purposes , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[12]  Marie-Odile Cordier,et al.  Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks , 2002, Discret. Event Dyn. Syst..

[13]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[14]  Albert Benveniste,et al.  Distributed diagnosis for large discrete event dynamic systems , 2002 .

[15]  Michael D. Lemmon,et al.  Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets , 2000, ICATPN.

[16]  Albert Benveniste,et al.  Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets , 1998, Discret. Event Dyn. Syst..

[17]  Joost Engelfriet,et al.  Elementary Net Systems , 1996, Applications and Theory of Petri Nets.

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

[19]  D. Teneketzis,et al.  On the effect of communication delays in failure diagnosis of decentralized discrete event systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[20]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

[21]  D. A. Harle,et al.  Methods and systems for alarm correlation , 1996, Proceedings of GLOBECOM'96. 1996 IEEE Global Telecommunications Conference.

[22]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains , 1979, Semantics of Concurrent Computation.

[23]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[24]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[25]  Javier Esparza,et al.  An Unfolding Algorithm for Synchronous Products of Transition Systems , 1999, CONCUR.

[26]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[27]  Albert Benveniste,et al.  Distributed state reconstruction for discrete event systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[28]  Alessandro Giua.  Petri net state estimators based on event observation , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[29]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[30]  Eric Fabre,et al.  Monitoring distributed systems with distributed algorithms , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[31]  Albert Benveniste,et al.  Markov nets: probabilistic models for distributed and concurrent systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[32]  A. Benveniste,et al.  A Petri net approach to fault detection and diagnosis in distributed systems. I. Application to telecommunication networks, motivations, and modelling , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[33]  Seraphin B. Calo,et al.  Alarm correlation and fault identification in communication networks , 1994, IEEE Trans. Commun..

[34]  Christoforos N. Hadjicostis,et al.  Monitoring Discrete Event Systems Using Petri Net Embeddings , 1999, ICATPN.

[35]  Yannick Pencolé,et al.  Modeling Fault Propagation in Telecommunications Networks for Diagnosis Purposes , 2002 .

[36]  Kenneth L. McMillan,et al.  Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits , 1992, CAV.

[37]  Javier Esparza.  Model Checking Using Net Unfoldings , 1994, Sci. Comput. Program..