@InProceedings{DPN_meet_PPL_2024,
author="Kuhn, Martin
and Gr{\"u}ger, Joscha
and Matheja, Christoph
and Rivkin, Andrey",
editor="Marrella, Andrea
and Resinas, Manuel
and Jans, Mieke
and Rosemann, Michael",
title="Data Petri Nets Meet Probabilistic Programming",
booktitle="Business Process Management",
year="2024",
publisher="Springer Nature Switzerland",
address="Cham",
pages="21--38",
abstract="Probabilistic programming (PP) is a programming paradigm that allows for writing statistical models like ordinary programs, performing simulations by running those programs, and analyzing and refining their statistical behavior using powerful inference engines. This paper takes a step towards leveraging PP for reasoning about data-aware processes. To this end, we present a systematic translation of Data Petri Nets (DPNs) into a model written in a PP language whose features are supported by most PP systems. We show that our translation is sound and provides statistical guarantees for simulating DPNs. Furthermore, we discuss how PP can be used for process mining tasks and report on a prototype implementation of our translation. We also discuss further analysis scenarios that could be easily approached based on the proposed translation and available PP tools.",
isbn="978-3-031-70396-6"
}

{"_id":"N4cbbufaxWpFNjTGQ","bibbaseid":"kuhn-grger-matheja-rivkin-datapetrinetsmeetprobabilisticprogramming-2024","author_short":["Kuhn, M.","Grüger, J.","Matheja, C.","Rivkin, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Kuhn"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Grüger"],"firstnames":["Joscha"],"suffixes":[]},{"propositions":[],"lastnames":["Matheja"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Rivkin"],"firstnames":["Andrey"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Marrella"],"firstnames":["Andrea"],"suffixes":[]},{"propositions":[],"lastnames":["Resinas"],"firstnames":["Manuel"],"suffixes":[]},{"propositions":[],"lastnames":["Jans"],"firstnames":["Mieke"],"suffixes":[]},{"propositions":[],"lastnames":["Rosemann"],"firstnames":["Michael"],"suffixes":[]}],"title":"Data Petri Nets Meet Probabilistic Programming","booktitle":"Business Process Management","year":"2024","publisher":"Springer Nature Switzerland","address":"Cham","pages":"21–38","abstract":"Probabilistic programming (PP) is a programming paradigm that allows for writing statistical models like ordinary programs, performing simulations by running those programs, and analyzing and refining their statistical behavior using powerful inference engines. This paper takes a step towards leveraging PP for reasoning about data-aware processes. To this end, we present a systematic translation of Data Petri Nets (DPNs) into a model written in a PP language whose features are supported by most PP systems. We show that our translation is sound and provides statistical guarantees for simulating DPNs. Furthermore, we discuss how PP can be used for process mining tasks and report on a prototype implementation of our translation. We also discuss further analysis scenarios that could be easily approached based on the proposed translation and available PP tools.","isbn":"978-3-031-70396-6","bibtex":"@InProceedings{DPN_meet_PPL_2024,\nauthor=\"Kuhn, Martin\nand Gr{\\\"u}ger, Joscha\nand Matheja, Christoph\nand Rivkin, Andrey\",\neditor=\"Marrella, Andrea\nand Resinas, Manuel\nand Jans, Mieke\nand Rosemann, Michael\",\ntitle=\"Data Petri Nets Meet Probabilistic Programming\",\nbooktitle=\"Business Process Management\",\nyear=\"2024\",\npublisher=\"Springer Nature Switzerland\",\naddress=\"Cham\",\npages=\"21--38\",\nabstract=\"Probabilistic programming (PP) is a programming paradigm that allows for writing statistical models like ordinary programs, performing simulations by running those programs, and analyzing and refining their statistical behavior using powerful inference engines. This paper takes a step towards leveraging PP for reasoning about data-aware processes. To this end, we present a systematic translation of Data Petri Nets (DPNs) into a model written in a PP language whose features are supported by most PP systems. We show that our translation is sound and provides statistical guarantees for simulating DPNs. Furthermore, we discuss how PP can be used for process mining tasks and report on a prototype implementation of our translation. We also discuss further analysis scenarios that could be easily approached based on the proposed translation and available PP tools.\",\nisbn=\"978-3-031-70396-6\"\n}\n\n\n","author_short":["Kuhn, M.","Grüger, J.","Matheja, C.","Rivkin, A."],"editor_short":["Marrella, A.","Resinas, M.","Jans, M.","Rosemann, M."],"key":"DPN_meet_PPL_2024","id":"DPN_meet_PPL_2024","bibbaseid":"kuhn-grger-matheja-rivkin-datapetrinetsmeetprobabilisticprogramming-2024","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://web.wi2.uni-trier.de/publications/WI2Publikationen.bib","dataSources":["MSp3DzP4ToPojqkFy"],"keywords":[],"search_terms":["data","petri","nets","meet","probabilistic","programming","kuhn","grüger","matheja","rivkin"],"title":"Data Petri Nets Meet Probabilistic Programming","year":2024}