Petri Net Modeling of Transformer Fault Diagnosis Process