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.
Type de document :
Article dans une revue
Discrete Event Dynamic Systems, Springer Verlag, 2005, 15 (1), pp.33-84. 〈10.1007/s10626-005-5238-5〉
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00638219
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 14:19:29
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : dimanche 5 février 2012 - 02:23:01

Fichier

FBJH-deds05.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

298

Téléchargements de fichiers

350