The Reachability Problem for Petri Nets is Not Primitive Recursive.

Jrme Leroux

Browse the full FOCS paper archive.