Fabio Balduzzi Angela Di Febbraro Combining fault Detection and Process Optimization in Manufacturing Systems Using First-Order Hybrid Petri nets. 40-45 2001 conf/icra/2001 ICRA db/conf/icra/icra2001.html#BalduzziF01