Reachability in live and safe free-choice Petri nets is NP-complete | Publicación