An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets

In this article, we present a fault diagnosis approach for discrete event systems using labeled Petri nets. In contrast to the existing works, a new fault class containing all the fault transitions is additionally introduced in the diagnosis function, leading to a more informative and precise diagnosis result. An integer linear programming (ILP) problem is built according to an observed word. By specifying different objective functions to the...