@inproceedings{Imenkamp2025YAPNE,
  author    = {Christian Imenkamp and Joscha Gr{\"u}ger and Martin Kuhn and Christoph Matheja and Andrey Rivkin and Agnes Koschmider},
  title     = {YAPNE: A Tool for Modeling and Automated Verification of Data Petri Nets},
  booktitle = {Proceedings of the ICPM Doctoral Consortium and Demo Track 2025 co-located with the 7th International Conference on Process Mining (ICPM 2025)},
  editor    = {Michael Arias Chaves and Henrik Leopold and Adriana Marotta and Manuel Resinas and Francesca Zerbato},
  year      = {2025},
  month     = oct,
  series    = {CEUR Workshop Proceedings},
  volume    = {4088},
  publisher = {CEUR-WS.org},
  issn      = {1613-0073},
  url       = {https://ceur-ws.org/Vol-4088/paper_250.pdf},
  urn       = {urn:nbn:de:0074-4088-x},
  note      = {Demo Track, Montevideo, Uruguay}
}

{"_id":"oPrggpuMgkwk35ozo","bibbaseid":"imenkamp-grger-kuhn-matheja-rivkin-koschmider-yapneatoolformodelingandautomatedverificationofdatapetrinets-2025","author_short":["Imenkamp, C.","Grüger, J.","Kuhn, M.","Matheja, C.","Rivkin, A.","Koschmider, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christian"],"propositions":[],"lastnames":["Imenkamp"],"suffixes":[]},{"firstnames":["Joscha"],"propositions":[],"lastnames":["Grüger"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Kuhn"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Matheja"],"suffixes":[]},{"firstnames":["Andrey"],"propositions":[],"lastnames":["Rivkin"],"suffixes":[]},{"firstnames":["Agnes"],"propositions":[],"lastnames":["Koschmider"],"suffixes":[]}],"title":"YAPNE: A Tool for Modeling and Automated Verification of Data Petri Nets","booktitle":"Proceedings of the ICPM Doctoral Consortium and Demo Track 2025 co-located with the 7th International Conference on Process Mining (ICPM 2025)","editor":[{"firstnames":["Michael","Arias"],"propositions":[],"lastnames":["Chaves"],"suffixes":[]},{"firstnames":["Henrik"],"propositions":[],"lastnames":["Leopold"],"suffixes":[]},{"firstnames":["Adriana"],"propositions":[],"lastnames":["Marotta"],"suffixes":[]},{"firstnames":["Manuel"],"propositions":[],"lastnames":["Resinas"],"suffixes":[]},{"firstnames":["Francesca"],"propositions":[],"lastnames":["Zerbato"],"suffixes":[]}],"year":"2025","month":"October","series":"CEUR Workshop Proceedings","volume":"4088","publisher":"CEUR-WS.org","issn":"1613-0073","url":"https://ceur-ws.org/Vol-4088/paper_250.pdf","urn":"urn:nbn:de:0074-4088-x","note":"Demo Track, Montevideo, Uruguay","bibtex":"@inproceedings{Imenkamp2025YAPNE,\n author = {Christian Imenkamp and Joscha Gr{\\\"u}ger and Martin Kuhn and Christoph Matheja and Andrey Rivkin and Agnes Koschmider},\n title = {YAPNE: A Tool for Modeling and Automated Verification of Data Petri Nets},\n booktitle = {Proceedings of the ICPM Doctoral Consortium and Demo Track 2025 co-located with the 7th International Conference on Process Mining (ICPM 2025)},\n editor = {Michael Arias Chaves and Henrik Leopold and Adriana Marotta and Manuel Resinas and Francesca Zerbato},\n year = {2025},\n month = oct,\n series = {CEUR Workshop Proceedings},\n volume = {4088},\n publisher = {CEUR-WS.org},\n issn = {1613-0073},\n url = {https://ceur-ws.org/Vol-4088/paper_250.pdf},\n urn = {urn:nbn:de:0074-4088-x},\n note = {Demo Track, Montevideo, Uruguay}\n}\n\n\n\n","author_short":["Imenkamp, C.","Grüger, J.","Kuhn, M.","Matheja, C.","Rivkin, A.","Koschmider, A."],"editor_short":["Chaves, M. A.","Leopold, H.","Marotta, A.","Resinas, M.","Zerbato, F."],"key":"Imenkamp2025YAPNE","id":"Imenkamp2025YAPNE","bibbaseid":"imenkamp-grger-kuhn-matheja-rivkin-koschmider-yapneatoolformodelingandautomatedverificationofdatapetrinets-2025","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-4088/paper_250.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://web.wi2.uni-trier.de/publications/WI2Publikationen.bib","dataSources":["MSp3DzP4ToPojqkFy"],"keywords":[],"search_terms":["yapne","tool","modeling","automated","verification","data","petri","nets","imenkamp","grüger","kuhn","matheja","rivkin","koschmider"],"title":"YAPNE: A Tool for Modeling and Automated Verification of Data Petri Nets","year":2025}