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.
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.
Produkteigenschaften
- Artikelnummer: 9783031614323
- Medium: Buch
- ISBN: 978-3-031-61432-3
- Verlag: Springer Nature Switzerland
- Erscheinungstermin: 13.06.2024
- Sprache(n): Englisch
- Auflage: 2024
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert
- Gewicht: 692 g
- Seiten: 446
- Format (B x H x T): 155 x 235 x 25 mm
- Ausgabetyp: Kein, Unbekannt