A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

Maria Paola Cabasino, Alessandro Giua, St├ęphane Lafortune, Carla Seatzu. A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. IEEE Trans. Automat. Contr., 57(12):3104-3117, 2012. [doi]

Abstract

Abstract is missing.