Forward Analysis for Petri Nets with Name Creation | Publicación