Serial failure diagnosis of a transmission line protection relaying system by Petri nets | BIAI Journals & Magazine | IEEE Xplore