Describir: Fault Diagnosis in Discrete Event Systems Using Interpreted Petri Nets