Application and Theory of Petri Nets and Concurrency
Laure Petrucci, Luca Bernardinello
E-bok
20221 059 kr
Application and Theory of Petri Nets and Concurrency
43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
AvLuca Bernardinello,Laure Petrucci
Häftad, Engelska, 2022
Del 13288 i serien Lecture Notes in Computer Science
836 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Critical Systems: Formal Methods and Automated Verification
Ana Cavalcanti, Cristina Seceleanu, Laure Petrucci
E-bok
2017734 kr
Del 10471
Critical Systems: Formal Methods and Automated Verification
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Häftad, 2017
559 kr
Models and Analysis for Distributed Systems
Laure Petrucci, Laurent Pautet, Fabrice Kordon, Serge Haddad
E-bok
20132 330 kr