{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T07:18:44Z","timestamp":1762327124420,"version":"build-2065373602"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T00:00:00Z","timestamp":1760918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T00:00:00Z","timestamp":1760918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100005005","name":"Ben-Gurion University of the Negev","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100005005","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,20]]},"DOI":"10.1109\/icpm66919.2025.11220752","type":"proceedings-article","created":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T18:34:15Z","timestamp":1762281255000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Guarded Process Trees: Translation to Petri Nets and Application in Process Mining"],"prefix":"10.1109","author":[{"given":"Ido","family":"Shapira","sequence":"first","affiliation":[{"name":"Ben Gurion University of The Negev,Department of Computer Science,Beer Sheva,Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gera","family":"Weiss","sequence":"additional","affiliation":[{"name":"Ben Gurion University of The Negev,Department of Computer Science,Beer Sheva,Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-7993-3_1477-2"},{"key":"ref2","article-title":"Process mining: A 360 degree overview","author":"Weijters","year":"2011","journal-title":"BPM (Short Papers"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85082-1_16"},{"article-title":"Detecting implicit dependencies between tasks from event logs","volume-title":"Business Process Management Workshops","author":"van Dongen","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-006-0061-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.287.7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99414-7"},{"key":"ref9","article-title":"Guarded variable automata over infinite alphabets","author":"Belkhir","year":"2013","journal-title":"arXiv preprint"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00186-0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0035389"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1155\/2021\/5595536"},{"article-title":"Process mining with the heuristicsminer algorithm","year":"2006","author":"Weijters","key":"ref13"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1109\/EDOC.2007.14","article-title":"Declare: Full support for loosely-structured processes","volume-title":"EDOC Conference","author":"Pesic"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2542182.2542199"},{"key":"ref16","article-title":"Discovering declarative process models through cross entropy minimization","author":"Di Francescomarino","year":"2015","journal-title":"Information Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2020.101533"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-015-0441-1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-25383-6_10"},{"article-title":"Revisiting the alpha algorithm to enable real-life process discovery applications","volume-title":"ATAED Workshop","author":"K\u00fcsters","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3233\/FI-242168"},{"article-title":"Translating workflow nets to process trees: An algorithmic approach","volume-title":"International Conference on Business Process Management (BPM)","author":"Ghahfarokhi","key":"ref22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-78717-6_2"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICGTSPICC.2016.7955308"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3067695.3082469"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38697-8_17"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2229156.2229157"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15618-2_16"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3292500.3330701"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2007.07.001"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1100.0444"}],"event":{"name":"2025 7th International Conference on Process Mining (ICPM)","start":{"date-parts":[[2025,10,20]]},"location":"Montevideo, Uruguay","end":{"date-parts":[[2025,10,24]]}},"container-title":["2025 7th International Conference on Process Mining (ICPM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11220591\/11220277\/11220752.pdf?arnumber=11220752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:22:16Z","timestamp":1762323736000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11220752\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,20]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/icpm66919.2025.11220752","relation":{},"subject":[],"published":{"date-parts":[[2025,10,20]]}}}