Abstract
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.
This work is supported by France Télécom/CNET, contract 95 1B 151.
Preview
Unable to display preview. Download preview PDF.
References
A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard. A Petri Net Approach to Fault Detection and Diagnosis in Distributed Systems, part II: Extending Viterbi Algorithm and Hmm Techniques to Petri Nets. To appear in IEEE Conference on Decision and Control, december 1997.
E. Best and R. Devillers. Sequential and Concurrent Behaviour in Petri Nets Theory. Theoretical Computer Science, (55):87–136, 1987.
R. Boubour and C. Jard. Une approche pour des capteurs d'alarmes intelligents dans les réseaux. In A. Bennani, R. Dssouli, A. Benkiran, and O. Rafiq, editors, CFIP'96: Ingénierie des Protocoles, octobre 1996.
A. Bouloutas, G. Hart, and M. Schwartz. On the Design of Observers for Fault Detection in Communication Networks, chapter 5. New-York: Plenum, 1990.
J. Engelfriet. Branching Processes of Petri Nets. Acta Informatica, 28(6), 1991.
J. Esparza, S. Römer, and W. Volger. An Improvement of McMillan Unfolding Algorithm. In 2nd Int. Workshop TACAS, number 1055 in Lecture Notes in Computer Science. Springer-Verlag, march 1996.
R. Valette et L.A. KĂ¼nzle. RĂ©seaux de Petri pour la dĂ©tection et le diagnostic. In JournĂ©es SĂ»retĂ©, surveillance, supervision: dĂ©tection et localisation des dĂ©faillances, number LAAS-R-94463, novembre 1994.
J. Fidge. Timestamps in Message Passing Systems that Preserve the Partial Ordering. In Proc. 11 th Australian Computer Science Conference, pages 55–66, February 1988.
E. Fromentin, C. Jard, G.-V. Jourdan, and M. Raynal. On-the-fly Analysis of Distributed Computations. Information Processing Letters, (54):267–274, 1995.
John M. Griffiths, editor. ISDN Explained: Worldwide Network and Applications Technology. John Wiley and Sons, 1990.
G. Jakobson and M. D. Weissman. Alarm Correlation. IEEE Network, 7(6), November 1993.
G. Jakobson and M. D. Weissman. Real-time Telecommunication Network Management: Extending Event Correlation with Temporal Constraints. In Sethi, Raynaud, and Faure-Vincent, editors, Integrated Network Management, number 4, pages 290–301. IFIP, Chapman and Hall, may 1995.
I. Katzela, A.T. Bouloutas, and S.B. Calo. Centralized vs Distributed Fault Localisation. In Sethi, Raynaud, and Faure-Vincent, editors, Integrated Network Management, number 4, pages 250–261. IFIP, Chapman and Hall, may 1995.
S. Kliger, S. Yemini, Y. Yemini, D. Ohsie, and S. Stolfo. A Coding Approach to Event Correlation. In Sethi, Raynaud, and Faure-Vincent, editors, Integrated Network Management, number 4, pages 266–277. IFIP, Chapman and Hall, may 1995.
F. Mattern. Virtual Time and Global States of Distributed Systems. In Cosnard, Quinton, Raynal, and Robert, editors, Proc. Int. Workshop on Parallel and Distributed Algorithms Bonas, France, Oct. 1988. North Holland, 1988.
M. Nielsen, G. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains, part 1. Theoretical Computer Science, (13), 1981.
M. Nielsen, G. Rozenberg, and P.S. Thiagarajan. Behavioral Notions for Elementary Nets Systems. Distributed Computing, 4, 1990.
Y.A. Nygate. Event Correlation using Rule and Object Based Techniques. In Sethi, Raynaud, and Faure-Vincent, editors, Integrated Network Management, number 4, pages 278–289. IFIP, Chapman and Hall, may 1995.
L. Portinale. Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model. In Procedings of Application and Theory of Petri Nets 1993, number 691 in Lecture Notes in Computer Science. Springer-Verlag, 1993.
W. Reisig. A Primer in Petri Nets Design. Springer-Verlag, 1992.
O. Wolfson S. Sengupta and Y. Yemini. Managing Communication Network by Monitoring Databases. IEEE Transactions on Software Engineering, 17(9), Septembre 1991.
W. Vogler. Modular Construction and Partial Order Semantics of Petri Nets. Number 625 in Lecture Notes of Computer Science. Springer-Verlag, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boubour, R., Jard, C. (1997). Fault detection in telecommunication networks based on a Petri net representation of alarm propagation. In: Azéma, P., Balbo, G. (eds) Application and Theory of Petri Nets 1997. ICATPN 1997. Lecture Notes in Computer Science, vol 1248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63139-9_46
Download citation
DOI: https://doi.org/10.1007/3-540-63139-9_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63139-2
Online ISBN: 978-3-540-69187-7
eBook Packages: Springer Book Archive