Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu. A survey on efficient diagnosability tests for automata and bounded Petri nets. In Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013. pages 1-6, IEEE, 2013. [doi]
Abstract is missing.