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]
No references recorded for this publication.
No citations of this publication recorded.