Deterministic and stochastic Petri net models of protection schemes | IEEE Journals & Magazine | IEEE Xplore