A Petri € : » ij