TY - BOOK AU - Vogler W TI - Modular construction and partial order semantics of petri nets U1 - 511.3 PY - 1992/// CY - Berlin PB - Springer Verlag KW - Petri nets KW - Semantics ER -