TY - BOOK AU - Jensen, K., ed. AU - Rozenberg, G., ed. TI - High-level petri nets: theory and applications SN - 354054125X U1 - 511.3 PY - 1991/// CY - Berlin PB - Springer-Verlag ER -