Kniha momentálne nie je na sklade![](/images/blank-book/blank-book.1920.jpg)
![](/images/blank-book/blank-book.1920.jpg)
Viac o knihe
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 vydania
- 2010
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Petri Net Algebra
- Jazyk
- anglicky
- Autori
- Eike Best, Raymond Devillers, Maciej Koutny
- Vydavateľ
- Springer Berlin Heidelberg
- Rok vydania
- 2010
- Väzba
- mäkká
- Počet strán
- 396
- ISBN13
- 9783642086779
- Kategórie
- Matematika, Počítače, IT, programovanie
- Anotácia
- 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.