Accelerations for the Coverability Set of Petri Nets with Names | Publicación