Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Petri Net Algebra, Eike Best, Raymond Devillers, Maciej Koutny
- Langue
- Année de publication
- 2010
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .