Complexity results for 1-safe nets | Publicación