Hybrid Petri nets for modeling and control of multi-source energy conversion systems. - Alexandre Tiberiu Sava; Kondo H. Adjallah; Honore Lagaza (CoDIT, 2014)