Energy dispatching strategy for micro-grid using hybrid Petri nets model | IEEE Conference Publication | IEEE Xplore