TY - BOOK AU - Reisig Wolfgang TI - Elements of distributed algorithms: modeling and analysis with Petri nets SN - 3-540-62752-9 U1 - 004.36 PY - 1998/// CY - Berlin PB - Springer-Verlag KW - Computer algorithms KW - Distributed processing KW - Electronic data processing KW - Petri nets ER -