Il libro è attualmente esaurito

Petri Net Algebra

Autori

Parametri

Pagine: 396pagine
Tempo di lettura: 14ore

Computer, IT, programmazione

Maggiori informazioni sul libro

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.

Pubblicazione

Acquisto del libro

Petri Net Algebra, Eike Best, Raymond Devillers, Maciej Koutny

Lingua
Pubblicato: 2010
product-detail.submit-box.info.binding: (In brossura)

Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione

Titolo: Petri Net Algebra
Lingua: Inglese
Autori: Eike Best, Raymond Devillers, Maciej Koutny
Editore: Springer Berlin Heidelberg
Pubblicato: 2010
Formato: In brossura
Pagine: 396
ISBN13: 9783642086779
Tag: Computer, IT, programmazione
Descrizione: 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.