TY  - BOOK
AU  - Reisig, Wolfgang
TI  - Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
SN  - 9783540627524
U1  - 004.36 
PY  - 1998///
CY  - New York
PB  - Springer Berlin Heidelberg
KW  - Computer Engineering
N1  - Part - A: Elementary System Models Elementary Concepts Case Studies Part - B: Advanced System Models Advanced Concepts Case Studies Case Studies Continued: Acknowledged Messages Case Studies Continued: Network Algorithms Part - C: Analysis of Elementary System Models State Properties of Elementary System Nets Interleaved Progress of Elementary System Nets Concurrent Progress of Elementary System Nets Part - D: Analysis of Advanced System Models State Properties of System Nets Interleaved Progress of System Nets Concurrent Progress of System Nets Formal Analysis of Case Studies
ER  -