Back to Petri