The Reachability Problem for Petri Nets is Not Primitive Recursive | IEEE Conference Publication | IEEE Xplore