This book constitutes the proceedings of the 46th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2025, held in Paris, France, during June 22–27, 2025. The 21 full papers and 1 short paper included in this book were carefully reviewed and selected from 48 submissions. They deal with topics such as composition and synthesis; workflow nets; process mining; model checking; communication & concurrency; timed and stochastic Petri nets; etc. The proceedings also include one invited talk in full paper length.
Edited by:
Elvio Amparore, Łukasz Mikulski Imprint: Springer International Publishing AG Country of Publication: Switzerland Volume: 15714 Dimensions:
Height: 235mm,
Width: 155mm,
ISBN:9783031946332 ISBN 10: 3031946332 Series:Lecture Notes in Computer Science Pages: 502 Publication Date:08 June 2025 Audience:
Professional and scholarly
,
College/higher education
,
Undergraduate
,
Further / Higher Education
Format:Paperback Publisher's Status: Active