Petri nets control design for hybrid electrical energy systems | IEEE Conference Publication | IEEE Xplore