Email Record: Petri net algebra /