Application and Theory of Petri Nets and Concurrency: 46th International Conference, Petri Nets 2025, Paris, France, June 22-27, 2025, Proceedings
暫譯: 彼得里網與併發的應用與理論：第46屆國際會議，彼得里網2025，法國巴黎，2025年6月22日至27日，會議論文集

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.