Modeling of a transmission line protection relaying scheme using Petri nets | IEEE Journals & Magazine | IEEE Xplore