Petri time (: