Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation

This paper presents a new use of safe Petri nets and its partial order semantics, in the field of telecommunication network management. Petri nets are used to provide both a model and an algorithm in fault management domain. First, a model of fault and alarm propagation, based on 1-safe Petri nets, is defined. Then an algorithm, based on net unfolding, is designed. This study leads to a generic supervisor, which can be easily distributed on a set of sensors.

[1]  G. Jakobson,et al.  Alarm correlation , 1993, IEEE Network.

[2]  Raymond R. Devillers,et al.  Sequential and Concurrent Behaviour in Petri Net Theory , 1987, Theor. Comput. Sci..

[3]  Salvatore J. Stolfo,et al.  A coding approach to event correlation , 1995, Integrated Network Management.

[4]  Walter Vogler,et al.  Modular Construction and Partial Order Semantics of Petri Nets , 1992, Lecture Notes in Computer Science.

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

[6]  Yechiam Yemini,et al.  Managing Communication Networks by Monitoring Databases , 1991, IEEE Trans. Software Eng..

[7]  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.

[8]  M. Schwartz,et al.  On the Design of Observers for Fault Detection in Communication Networks , 1990 .

[9]  John E. Midwinter ISDN Explained: Worldwide Network and Applications Technology , 1991 .

[10]  Wolfgang Reisig,et al.  A Primer in Petri Net Design , 1992, Springer Compass International.

[11]  Luigi Portinale Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model , 1993, Application and Theory of Petri Nets.

[12]  Yossi A. Nygate,et al.  Event correlation using rule and object based techniques , 1995, Integrated Network Management.

[13]  Mark Weissman,et al.  Real-time telecommunication network management: extending event correlation with temporal constraints , 1995, Integrated Network Management.

[14]  Michel Raynal,et al.  On-The-Fly Analysis of Distributed Computations , 1995, Inf. Process. Lett..

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

[16]  Claude Jard,et al.  Une approche pour des capteurs d'alarmes intelligents dans les réseaux , 1996 .

[17]  Colin J. Fidge,et al.  Timestamps in Message-Passing Systems That Preserve the Partial Ordering , 1988 .

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