+612 9045 4394
 
CHECKOUT
Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets - Wolfgang Reisig

Elements of Distributed Algorithms

Modeling and Analysis with Petri Nets

Hardcover

Published: 20th August 1998
Ships: 7 to 10 business days
7 to 10 business days
RRP $143.99
$107.75
25%
OFF
or 4 easy payments of $26.94 with Learn more

Other Available Formats (Hide)

  • Paperback View Product Published: 9th December 2010
    $81.22

Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms.
In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms.
The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent.

The Petri Net Approach
Introduction
Elementary System Models: Elementary Concepts
Case Studies
Advanced System Models: Advanced Concepts
Case Studies
Acknowledged Messages
Network Algorithms
Analysis of Elementary System Models: State Properties of Elementary System Nets
Interleaved Progress of Elementary System Nets
Concurrent Progress of Elementary System Nets
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
References
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540627524
ISBN-10: 3540627529
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 302
Published: 20th August 1998
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 24.16 x 16.31  x 2.34
Weight (kg): 0.54