A new approach for fault detection in digital relays-based power system using Petri nets | IEEE Conference Publication | IEEE Xplore