Home
Application and Theory of PETRI NETS Concurrency: 46th International Conference, 2025, Paris, France, June 22-27, Proceedings
Barnes and Noble
Loading Inventory...
Application and Theory of PETRI NETS Concurrency: 46th International Conference, 2025, Paris, France, June 22-27, Proceedings in Franklin, TN
Current price: $79.99

Barnes and Noble
Application and Theory of PETRI NETS Concurrency: 46th International Conference, 2025, Paris, France, June 22-27, Proceedings in Franklin, TN
Current price: $79.99
Loading Inventory...
Size: Paperback
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 shastic Petri nets; etc. The proceedings also include one invited talk in full paper length.
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 shastic Petri nets; etc. The proceedings also include one invited talk in full paper length.
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 shastic Petri nets; etc. The proceedings also include one invited talk in full paper length.
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 shastic Petri nets; etc. The proceedings also include one invited talk in full paper length.

















