A Novel Approach for Fault Diagnosis in Power Networks Based on Petri Net Models | IEEE Conference Publication | IEEE Xplore