Petri Net model-based Distributed Fault Diagnosis for large Interacting Systems
George Jiroveanu, Rene K. Boel · Ghent University Academic Bibliography (Ghent University) · 2005
The distributed architecture we consider in this paper comprises different interacting sub-systems (each modeled as a Petri Net), with one local agent monitoring each sub-system.The agents are designed to diagnose the local sub-systems based on the local model, the local observation and the information exchanged with the neighboring agents.The interactions between sub-systems are unobservable and are modeled by tokens that can unobservably pass from one sub-system to another via common places.Communication between local agents is not necessarily initiated by events.For this general setting we present a distributed algorithm that allows the local agents to recover completely the results of a centralized agent after the completion of a communication protocol.