Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
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.
Buchkauf
Petri Net Algebra, Eike Best, Raymond Devillers, Maciej Koutny
- Sprache
- Erscheinungsdatum
- 2010
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Petri Net Algebra
- Sprache
- Englisch
- Autor*innen
- Eike Best, Raymond Devillers, Maciej Koutny
- Verlag
- 2010
- Einband
- Paperback
- Seitenzahl
- 396
- ISBN13
- 9783642086779
- Kategorie
- Mathematik, Informatik & Programmierung
- Beschreibung
- 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.