Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu. Diagnosability analysis of unbounded 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 1267-1272, IEEE, 2009. [doi]
Abstract is missing.