Usage of Petri net in simulation of protection function | IEEE Conference Publication | IEEE Xplore