Text this: Modular construction and partial order semantics of Petri nets /