Distributed monitoring of concurrent and asynchronous systems.
Résumé
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.
Domaines
Autre [cs.OH]| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|
Loading...