Complexity Results for 1-safe Nets | Publicación