Skip to Main content Skip to Navigation

Distributed monitoring of concurrent and asynchronous systems---extended version

Albert Benveniste 1 Stefan Haar 1 Eric Fabre 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 PN unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This report is an extended version of the paper with same title, which appeared as a plenary address in the Proceedings of CONCUR'2003.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 6:39:57 PM
Last modification on : Thursday, January 7, 2021 - 4:27:49 PM
Long-term archiving on: : Tuesday, February 22, 2011 - 12:00:28 PM


  • HAL Id : inria-00071743, version 1


Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard. Distributed monitoring of concurrent and asynchronous systems---extended version. [Research Report] RR-4842, INRIA. 2004. ⟨inria-00071743⟩



Record views


Files downloads