Email Record: Timed Petri Nets