-W. Vogler: Modular Construction and Partial Order Semantics of Petri Nets, Springer-Verlag 1992