TY - BOOK AU - Rozenberg G TI - Advances in Petri nets, 1984 U1 - 511.3 PY - 1985/// CY - Berlin PB - Springer Verlag KW - Mathematical logic KW - Petri net ER -