Modeling of hybrid systems using continuous and hybrid Petri nets | Publicación