Abstract
We address the problem of alarm correlation in large distributed systems. The key idea is to make use of the concurrence of events in order to separate and simplify the state estimation in a faulty system. Petri nets and their causality semantics are used to model concurrency. Special partially stochastic Petri nets are developed, that establish some kind of equivalence between concurrence and independence. The diagnosis problem is defined as the computation of the most likely history of the net given a sequence of observed alarms. Solutions are provided in four contexts, with a gradual complexity on the structure of observations.
Similar content being viewed by others
References
Aghasaryan, A., Boubour, R., Fabre, E., Jard, C., Benveniste, A. 1997a. A Petri net approach to fault detection and diagnosis in distributed systems. IRISA Research Report no. 1117.
Aghasaryan, A., Fabre, E., Benveniste, A., Boubour, R., Jard, C. 1997b. A Petri net approach to fault detection and diagnosis in distributed systems. Part II: extending Viterbi algorithm and HMM techniques to Petri nets. CDC'97 Proceedings, San Diego.
Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G. 1995. Modeling with Generalized Stochastic Petri Nets, Wiley Series in Parallel Computing.
Ajmone Marsan, M., Balbo, G., Chiola, G. Conte, G. 1987. Generalized Stochastic Petri Nets Revisited: Random Switches and Priorities, In Proc. of PNPM '87, IEEE–CS Press, pp. 44–53.
Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.–P. 1992. Synchronization and Linearity, An Algebra for Discrete Event Systems, Wiley Series in Probability and Mathematical Statistics.
Benveniste, A., Levy, B.C., Fabre, E., Le Guernic, P. 1995. A Calculus of Stochastic Systems: Specification, Simulation, and Hidden State Estimation, Theoretical Computer Science, no. 152, pp. 171–217.
Boubour, R., Jard, C., Aghasaryan, A., Fabre, E., Benveniste, A. 1997. A Petri net approach to fault detection and diagnosis in distributed systems. Part I: application to telecommunication networks, motivations and modeling. CDC'97 Proceedings, San Diego.
David, R. and Alla, H. 1994. Petri Nets for Modeling of Dynamic Systems–A Survey, Automatica, vol. 30, no. 2, pp. 175–202.
Rabiner, L.R. 1989. A tutorial on Hidden Markov Models and Selected Applications in Speech Recognition, Proceedings of IEEE, vol. 77, no.2.
Vogler, W. 1992. Modular Construction and Partial Order Semantics of Petri Nets, LNCS no. 625.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Aghasaryan, A., Fabre, E., Benveniste, A. et al. Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets. Discrete Event Dynamic Systems 8, 203–231 (1998). https://doi.org/10.1023/A:1008241818642
Issue Date:
DOI: https://doi.org/10.1023/A:1008241818642