Petri ' & lt;