Authors
Armen Aghasaryan, Eric Fabre, Albert Benveniste, Renée Boubour, Claude Jard
Publication date
1998/6
Journal
Discrete event dynamic systems
Volume
8
Pages
203-231
Publisher
Kluwer Academic Publishers
Description
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.
Total citations
Scholar articles
Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets
A Aghasaryan, E Fabre, A Benveniste, R Boubour… - Discrete event dynamic systems, 1998