Immediate Diagnosis of Faulty Behaviours with Petri Net Models
Abstract
This paper is about fault detection and isolation for discrete event systems modeled with Petri nets. Faults are represented with failure transitions and a faulty behaviour occurs when a sequence of transitions is fired that contains at least one failure transition. The main contribution is to provide necessary and sufficient conditions to be satisfied by a given set of observable places for immediate detection and isolation of faulty behaviours. The diagnosis is immediate in the sense that the unsuitable behaviours are detected and isolated immediately after the occurrence of the faults and before the occurrence of any other event.
