{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:00:24Z","timestamp":1750309224196,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T00:00:00Z","timestamp":1720396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Natural Sciences and Engineering Research Council of Canada (NSERC)"},{"name":"Fonds de recherche du Qu\u00e9bec ? Nature et technologies (FRQNT)"},{"name":"Polish National Science Centre","award":["SONATA BIS-12 2022\/46\/E\/ST6\/00230."],"award-info":[{"award-number":["SONATA BIS-12 2022\/46\/E\/ST6\/00230."]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3661814.3662086","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T12:30:12Z","timestamp":1718973012000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Soundness of reset workflow nets"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2914-2734","authenticated-orcid":false,"given":"Michael","family":"Blondin","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Sherbrooke, Sherbrooke, Quebec, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2482-6141","authenticated-orcid":false,"given":"Alain","family":"Finkel","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, IUF, Gif-sur-Yvette, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9866-3723","authenticated-orcid":false,"given":"Piotr","family":"Hofman","sequence":"additional","affiliation":[{"name":"University of Warsaw, Warsaw, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4535-6508","authenticated-orcid":false,"given":"Filip","family":"Mazowiecki","sequence":"additional","affiliation":[{"name":"University of Warsaw, Warsaw, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8477-2849","authenticated-orcid":false,"given":"Philip","family":"Offtermatt","sequence":"additional","affiliation":[{"name":"Informal Systems, Lausanne, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.CONCUR.2017.40"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-50524-9_5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3531130.3533341"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.FSTTCS.2023.16"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2005.06.002"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.CONCUR.2022.16"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS52979.2021.00120"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055044"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.39"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-50524-9_7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.FSTTCS.2018.31"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.01.005"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00102-X"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372123"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11439-2_9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-12(1:6)2016"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2014-1071"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802201"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.IC.2020.104582"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS52979.2021.00121"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785796"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785796"},{"key":"e_1_3_2_1_23_1","volume-title":"Hierarchies of number-theoretic functions. I. Archiv f\u00fcr mathematische Logik und Grundlagenforschung 13, 1--2","author":"L\u00f6b Martin H","year":"1970","unstructured":"Martin H L\u00f6b and Stanley S Wainer. 1970. Hierarchies of number-theoretic functions. I. Archiv f\u00fcr mathematische Logik und Grundlagenforschung 13, 1--2 (1970), 39--51."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45061-0_46"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1137\/0216062"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858784"},{"volume-title":"Decision procedures for families of deterministic pushdown automata. Ph. D. Dissertation","author":"Valiant Leslie G.","key":"e_1_3_2_1_28_1","unstructured":"Leslie G. Valiant. 1973. Decision procedures for families of deterministic pushdown automata. Ph. D. Dissertation. University of Warwick, Coventry, UK. http:\/\/wrap.warwick.ac.uk\/34701\/"},{"key":"e_1_3_2_1_29_1","volume-title":"N Sidorova, HMW Verbeek, M Voorhoeve, and MT Wynn.","author":"van der Aalst WMP","year":"2008","unstructured":"WMP van der Aalst, KM van Hee, AHM ter Hofstede, N Sidorova, HMW Verbeek, M Voorhoeve, and MT Wynn. 2008. Soundness of workflow nets with reset arcs is undecidable!. In Concurrency methods: issues and applications (CHINA). 57."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63139-9_48"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04856-2_3"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/S00165-010-0161-4"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","unstructured":"Robert van der Toorn. 2004. Component-Based Software Design with Petri nets: An Approach Based on Inheritance of Behavior. Ph. D. Dissertation. Technische Universiteit Eindhoven. 10.6100\/IR571325","DOI":"10.6100\/IR571325"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70881-0_21"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27793-4_12"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/JINFSOF.2008.12.002"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.INS.2008.10.033"}],"event":{"name":"LICS '24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE Computer Society","EACSL"],"location":"Tallinn Estonia","acronym":"LICS '24"},"container-title":["Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662086","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3661814.3662086","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:08Z","timestamp":1750290248000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662086"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":38,"alternative-id":["10.1145\/3661814.3662086","10.1145\/3661814"],"URL":"https:\/\/doi.org\/10.1145\/3661814.3662086","relation":{},"subject":[],"published":{"date-parts":[[2024,7,8]]},"assertion":[{"value":"2024-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}