Decentralized K-Diagnosability of Petri Nets

The problem of K–diagnosability of a fault in a decentralized framework for Petri Net models is tackled in this paper. K–diagnosability deals with the diagnosability of a fault after the firing of a finite number of observable events. An essential role is played by the observable sequences that can be explained without the firing of a given fault in the decentralized case, but they are faulty in the centralized case. The absence of these sequences is formulated as an Integer Linear Programming Problem. Exploiting such a characterization a sufficient condition is given for the decentralized K–diagnosability of a fault.