Email Record: Modular construction and partial order semantics of Petri nets /