Application and Theory of Petri Nets and Concurrency
45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings
Wersja papierowa
Redakcja:
Kristensen Lars Michael
Wydawnictwo:
Springer Nature B.V.ISBN: 978-30-316-1432-3
Format: 15.6x23.4cm
Liczba stron: 462
Oprawa: Miękka
Wydanie: 2024 r.
Język: angielski
Dostępność: dostępny
319,50 zł
<p>This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024. </p>
<p>The 19 full papers and 2 invited papers included in this book were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: Business Process Modelling and Mining, Semantics and Complexity, Reachability, Verification and Model Checking, Applications and Tools. </p>
