Reachibility in live and safe free-choice Petri nets is NP-complete - Esparza, Javier 1964- (SFB 342, 1996)