Fault Diagnosis Graph of time Petri nets

This paper proposes an online approach for the fault diagnosis for time discrete event systems, which are modeled by time Petri net. The observation is given by a subset of transitions whose occurrence is always observable. Faults correspond to a subset of the transitions whose firing are not observable. According to the most of the literature on discrete event systems, we define three fault states, namely N, F and U, corresponding to normal,...