Modeling and Analysis of Microgrid Energy Scheduling Based on Colored Petri Net | IEEE Conference Publication | IEEE Xplore