A Primitive Recursive Algorithm for the General Petri Net Reachability Problem