A survey on efficient diagnosability tests for automata and bounded Petri nets.

Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu

Browse the full ETFA paper archive.