Although decidable, the marking reachability problem for Petri nets is well-known to be intractable in general, and a non-elementary …