Del 13288
Application and Theory of Petri Nets and Concurrency
Luca Bernardinello, Laure Petrucci
Häftad, 2022
836 kr
Application and Theory of Petri Nets and Concurrency
43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
AvLaure Petrucci,Luca Bernardinello
E-bok
Engelska, 20221 059 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
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