A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Maria Paola Cabasino' in GoogleThis author has not been identified. Look up 'Alessandro Giua' in GoogleThis author has not been identified. Look up 'Stéphane Lafortune' in GoogleThis author has not been identified. Look up 'Carla Seatzu' in Google

runs on WebDSL