Petri net modeling of phasor measurement unit | IEEE Conference Publication | IEEE Xplore