A Petri-net-based Framework for Microgrid Process Mining | IEEE Conference Publication | IEEE Xplore