Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets

by Wolfgang Reisig

Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive and technically elegant Petri net technique in this text for students and practitioners. A variety of distributed algorithms are presented, and proven correct using temporal logic.

• Format: Hardcover
• Language: English
• ISBN: 3540627529
• ISBN13: 9783540627524
• Release Date: August 1998
• Publisher: Springer
• Length: 302 Pages
• Weight: 1.31 lbs.
• Dimensions: 0.9" x 6.4" x 9.5"