Event-driven model predictive control of timed hybrid Petri nets | Publicación