Occam's Razor Applied to the Petri Net Coverability Problem. - Geffroy, Thomas; Leroux, Jérôme; Sutre, Grégoire (CoRR, 2016)