TY  - BOOK
AU  - Reisig,Wolfgang
TI  - Elements of distributed algorithms: modeling and analysis with Petri nets 
AV  - QA76.9.D5 .R457 1998
U1  - 004/.36 21
PY  - 1998///
CY  - Berlin, [Germany], Heidelberg, [Germany]
PB  - Springer
KW  - Electronic data processing
KW  - Distributed processing
KW  - Computer algorithms
KW  - Petri nets
KW  - Electronic books
N1  - "With 246 Figures"--Title page; Includes bibliographical references
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3097118
ER  -