Colored Petri Nets Modeling of Multi-agent System for Energy Management in Distributed Renewable Energy Generation System | IEEE Conference Publication | IEEE Xplore