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.
Edited by:
Lars Michael Kristensen, Jan Martijn van der Werf Imprint: Springer International Publishing AG Country of Publication: Switzerland Edition: 2024 ed. Volume: 14628 Dimensions:
Height: 235mm,
Width: 155mm,
ISBN:9783031614323 ISBN 10: 3031614321 Series:Lecture Notes in Computer Science Pages: 446 Publication Date:13 June 2024 Audience:
Professional and scholarly
,
Undergraduate
Format:Paperback Publisher's Status: Active