On-line Fault Diagnosis in a Petri Net Framework