Hybrid and Hybrid Adaptive Petri Nets: On the computation of a Reachability Graph | Publicación