Modeling and control of prosumer-based microgrids: a Petri net approach | IEEE Conference Publication | IEEE Xplore