Amanote Research
Register
Sign In
The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems
doi 10.1109/swat.1974.28
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 1974
Authors
Michel Hack
Publisher
IEEE