Application and Theory of Petri Nets and Concurrency

46th International Conference, PETRI NETS 2025, Paris, France, June 22–27, 2025, Proceedings

502 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik Mathematik für Informatiker
• ISBN: 9783031946332
• Sprache: Englisch
• Erscheinungsdatum: 08.06.2025
• Größe: 23.5 x 15.5 cm
• Verlag: Springer International Publishing
• Herausgegeben von: Elvio Amparore, Łukasz Mikulski