A fault diagnosis method for systems based on labeled time Petri nets with tables. - Song, Jian; Liu, Guanjun (Computer Journal, 2026)