Knihu momentálně nemáme skladem
Více o knize
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.
Nákup knihy
Petri Net Algebra, Eike Best, Raymond Devillers, Maciej Koutny
- Jazyk
- Rok vydání
- 2010
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Petri Net Algebra
- Jazyk
- anglicky
- Autoři
- Eike Best, Raymond Devillers, Maciej Koutny
- Vydavatel
- Springer Berlin Heidelberg
- Vydavatel
- 2010
- Vazba
- měkká
- Počet stran
- 396
- ISBN13
- 9783642086779
- Kategorie
- Matematika, Počítače, IT, programování
- Anotace
- 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.