A survey on the applications of Petri net theory in power systems | IEEE Conference Publication | IEEE Xplore