The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems

Michel Hack

Browse the full FOCS paper archive.