Marco Montali, Sarah Winkler. Equivalence of Data Petri Nets with Arithmetic. In Jochen De Weerdt, Luise Pufahl, editors, Business Process Management Workshops - BPM 2023 International Workshops, Utrecht, The Netherlands, September 11-15, 2023, Revised Selected Papers. Volume 492 of Lecture Notes in Business Information Processing, pages 409-421, Springer, 2023. [doi]
Abstract is missing.