Distributed monitoring of concurrent and asynchronous systems.

Eric Fabre 1 Albert Benveniste 1 Stefan Haar 1 Claude Jard 1
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on Petri net unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This article is an extended version of the paper with same title, which appeared as a plenary address in the Proceedings of CONCUR'2003.
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [34 references]  Display  Hide  Download

Contributor : Stefan Haar <>
Submitted on : Friday, November 4, 2011 - 2:19:29 PM
Last modification on : Friday, November 16, 2018 - 1:27:51 AM
Document(s) archivé(s) le : Sunday, February 5, 2012 - 2:23:01 AM


Publisher files allowed on an open archive



Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard. Distributed monitoring of concurrent and asynchronous systems.. Discrete Event Dynamic Systems, Springer Verlag, 2005, 15 (1), pp.33-84. ⟨10.1007/s10626-005-5238-5⟩. ⟨inria-00638219⟩



Record views


Files downloads