Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

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 selecte...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Kristensen, Lars Michael, van der Werf, Jan Martijn
Format: Buch
Sprache:eng
Schlagworte:
Computer multitasking
Petri nets
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.