zbMATH — the first resource for mathematics

Distributed diagnosis of discrete-event systems using Petri nets. (English) Zbl 1274.68234
van der Aalst, Wil (ed.) et al., Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23–27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40334-5/pbk). Lecture Notes in Computer Science 2679, 316-336 (2003).
Summary: The problem of detecting and isolating fault events in dynamic systems modeled as discrete-event systems is considered. The modeling formalism adopted is that of Petri nets with labeled transitions, where some of the transitions are labeled by different types of unobservable fault events. The diagnoser approach for discrete-event systems modeled by automata developed in earlier work is adapted and extended to on-line fault diagnosis of systems modeled by Petri nets, resulting in a centralized diagnosis algorithm based on the notion of “Petri net diagnosers”. A distributed version of this centralized algorithm is also presented. This distributed version assumes that the Petri net model of the system can be decomposed into two place-bordered Petri nets satisfying certain conditions and that the two resulting Petri net diagnosers can exchange messages upon the occurrence of observable events. It is shown that this distributed algorithm is correct in the sense that it recovers the same diagnostic information as the centralized algorithm. The distributed algorithm provides an approach for tackling fault diagnosis of large complex systems.
For the entire collection see [Zbl 1045.68017].

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Full Text: DOI