Modular construction and partial order semantics of Petri nets / - Vogler, W. (Springer-Verlag,, 1992)