Petri s : 4 * o ( t>