Hybrid Petri nets for modeling and control of multi-source energy conversion systems | IEEE Conference Publication | IEEE Xplore