In this paper we present a procedure to analyze the diagnosability of a Petri net system in a decentralized framework. We recall the definition of failure ambiguous strings, i.e., strings that can be both faulty or not in the decentralized case, while can be distinguished in a centralized framework. We first prove that the absence of such kind of strings guarantees that the system is diagnosable in a decentralized framework. Then, we give an efficient procedure to verify the absence of such kind of strings for both bounded and unbounded Petri net systems.
Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets
CABASINO, MARIA PAOLA;GIUA, ALESSANDRO;SEATZU, CARLA
2011-01-01
Abstract
In this paper we present a procedure to analyze the diagnosability of a Petri net system in a decentralized framework. We recall the definition of failure ambiguous strings, i.e., strings that can be both faulty or not in the decentralized case, while can be distinguished in a centralized framework. We first prove that the absence of such kind of strings guarantees that the system is diagnosable in a decentralized framework. Then, we give an efficient procedure to verify the absence of such kind of strings for both bounded and unbounded Petri net systems.
I metadati presenti in IRIS UNICA sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono protetti da diritto d'autore, salvo diversa indicazione.
