A Colored Petri Net Based Frequency Support Scheme Using Fleet of Electric Vehicles in Smart Grid Environment | IEEE Journals & Magazine | IEEE Xplore