Distributed Monitoring of Concurrent and Asynchronous Systems

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: Conference
• Year: 2003
• Where: CONCUR
• Authors: Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
• Keywords: Asynchronous Systems, CONCUR 2003, Peer-to-peer Distributed Architecture, Petri Net Unfoldings