Describir: Fault Diagnosis on Electric Power Systems Based on Petri Net Approach