Power system fault diagnosis with a weighted fuzzy time Petri net | IET Conference Publication | IEEE Xplore