The Reachability Problem for Petri Nets is Not Primitive Recursive
Domains
Computer Science [cs]
Origin : Files produced by the author(s)