Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication | Publicación