Computation of the Reachability Graph of untimed Hybrid Petri nets | Publicación