Discrete Event Diagnosis using Petri Nets.

Maria Paola Cabasino Alessandro Giua Carla Seatzu Discrete Event Diagnosis using Petri Nets. 15-29 2009 ICINCO-ICSO conf/icinco/2009icso db/conf/icinco/icinco2009-icso.html#CabasinoGS09