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]
@inproceedings{MontaliW23,
title = {Equivalence of Data Petri Nets with Arithmetic},
author = {Marco Montali and Sarah Winkler},
year = {2023},
doi = {10.1007/978-3-031-50974-2_31},
url = {https://doi.org/10.1007/978-3-031-50974-2_31},
researchr = {https://researchr.org/publication/MontaliW23},
cites = {0},
citedby = {0},
pages = {409-421},
booktitle = {Business Process Management Workshops - BPM 2023 International Workshops, Utrecht, The Netherlands, September 11-15, 2023, Revised Selected Papers},
editor = {Jochen De Weerdt and Luise Pufahl},
volume = {492},
series = {Lecture Notes in Business Information Processing},
publisher = {Springer},
isbn = {978-3-031-50974-2},
}