The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems | IEEE Conference Publication | IEEE Xplore