Modular construction and partial order semantics of Petri nets - Vogler, Walter (Springer, 1992)