Petri definition