Un Monitor dei Guasti nei Sistemi Produttivi Automatizzati Basato sulle Reti di Petri Ibride