Petri's work