Text this: A fault diagnosis method for systems based on labeled time Petri nets with tables.