Michel Hack. The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems. In 15th Annual Symposium on Switching and Automata Theory, 14-16 October 1974, The University of New Orleans, USA. pages 156-164, IEEE, 1974.
Abstract is missing.