A colored Petri-net model for load-transfer in MRT power systems | IEEE Conference Publication | IEEE Xplore