A new protocol for the decentralized diagnosis of labeled Petri nets

In this paper we deal with the problem of failure diagnosis of discrete event systems with decentralized information. The decentralized architecture that we use is composed by a set of sites communicating their diagnosis information with a coordinator that is responsible of detecting the occurrence of failures in the system. In particular, first we present a protocol that defines the communication rules between the sites and the coordinator. Secondly, we prove that this protocol does not produce false alarms. Moreover, we give sufficient conditions for diagnosability based on the notion of failure ambiguous strings. Finally, we compare the protocol here presented with other two protocols that we presented in a previous work.