The book is currently out of stock
More about the book
Concurrent systems play a crucial role in modern computing, impacting various applications like control systems and multimedia. The book explores two prominent formalisms for analyzing these complex systems: Petri nets and process algebras. Process algebras offer algebraic tools for designing and reasoning about concurrent systems, while Petri nets provide a graphical approach for verification and understanding system behavior, particularly concerning causality and concurrency. Together, they address the challenges posed by the increasing complexity of concurrent computing environments.
Book purchase
Petri Net Algebra, Eike Best, Raymond Devillers, Maciej Koutny
- Language
- Released
- 2010
We’ll notify you via email once we track it down.
Payment methods
- Title
- Petri Net Algebra
- Language
- English
- Authors
- Eike Best, Raymond Devillers, Maciej Koutny
- Publisher
- Springer Berlin Heidelberg
- Publisher
- 2010
- Format
- Paperback
- Pages
- 396
- ISBN13
- 9783642086779
- Category
- Mathematics, Computers, IT, Programming
- Description
- Concurrent systems play a crucial role in modern computing, impacting various applications like control systems and multimedia. The book explores two prominent formalisms for analyzing these complex systems: Petri nets and process algebras. Process algebras offer algebraic tools for designing and reasoning about concurrent systems, while Petri nets provide a graphical approach for verification and understanding system behavior, particularly concerning causality and concurrency. Together, they address the challenges posed by the increasing complexity of concurrent computing environments.