Wolfgang Reisig

eBook, PDF

Elements of Distributed Algorithms (eBook, PDF)

Modeling and Analysis with Petri Nets

Beschreibung

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.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 20.01MB

Barrierefreiheit

• Text-to-Speech

Autor

Prof. Dr. Wolfgang Reisig is a professor at Humboldt Universität zu Berlin, Germany. He has over 30 years experience in the theory, applications, and teaching of Petri nets and related techniques; and he has been closely involved in the key community initiatives such as related conferences. Among his books are titles in the areas of Petri nets, distributed algorithmsm, and computational systems biology.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 302
• Erscheinungstermin: 17. April 2013
• Englisch
• ISBN-13: 9783662036877
• Artikelnr.: 52927155