A semi‐symbolic diagnoser for fault diagnosis of bounded labeled petri nets

In this paper, we present a diagnoser‐based approach to deal with fault diagnosis of bounded labeled Petri nets. The approach consists in building a semi‐symbolic diagnoser to analyze diagnosability and perform online diagnosis. The contribution of this paper is twofold: (i) from the theoretical point of view, we provide new conditions for checking diagnosability based on a novel diagnoser variant that explicitly separates the normal reachable...