On reachability and deadlock-freeness of hHybrid Adaptive Petri nets⋆ | Publicación