Maria Paola Cabasino, Alessandro Giua, Carla Seatzu. Diagnosability of bounded Petri nets. In Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009, combined withe the 28th Chinese Control Conference, December 16-18, 2009, Shanghai, China. pages 1254-1260, IEEE, 2009. [doi]
Abstract is missing.