Performing fault diagnosis for PNs using g-markings: A benchmark case

The authors have recently presented an approach to fault diagnosis based on the online computation of the set of possible fault events required to explain the last observed event. This is efficiently achieved by using Petri nets, since their mathematical representation allows us to formulate the fault diagnosis problems in terms of mathematical programming, which is a standard tool. Then, an interpreted diagnoser is obtained. In this paper the performance of such a diagnoser are evaluated on a benchmark example.