Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets - Reisig, Wolfgang (New York Springer Berlin Heidelberg, 1998)
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
Keywords: Computer Engineering