{"id":"https://openalex.org/W4399889189","doi":"https://doi.org/10.1145/3661814.3662086","title":"Soundness of reset workflow nets","display_name":"Soundness of reset workflow nets","publication_year":2024,"publication_date":"2024-06-21","ids":{"openalex":"https://openalex.org/W4399889189","doi":"https://doi.org/10.1145/3661814.3662086"},"language":"en","primary_location":{"id":"doi:10.1145/3661814.3662086","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3661814.3662086","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032328924","display_name":"Michael Blondin","orcid":"https://orcid.org/0000-0003-2914-2734"},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Michael Blondin","raw_affiliation_strings":["Universit\u00e9 de Sherbrooke, Sherbrooke, Quebec, Canada"],"raw_orcid":"https://orcid.org/0000-0003-2914-2734","affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Sherbrooke, Sherbrooke, Quebec, Canada","institution_ids":["https://openalex.org/I135117807"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103032071","display_name":"Alain Finkel","orcid":"https://orcid.org/0000-0003-2482-6141"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Alain Finkel","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, IUF, Gif-sur-Yvette, France"],"raw_orcid":"https://orcid.org/0000-0003-2482-6141","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, IUF, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I277688954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090589200","display_name":"Piotr Hofman","orcid":"https://orcid.org/0000-0001-9866-3723"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Piotr Hofman","raw_affiliation_strings":["University of Warsaw, Warsaw, Poland"],"raw_orcid":"https://orcid.org/0000-0001-9866-3723","affiliations":[{"raw_affiliation_string":"University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004165473","display_name":"Filip Mazowiecki","orcid":"https://orcid.org/0000-0002-4535-6508"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Filip Mazowiecki","raw_affiliation_strings":["University of Warsaw, Warsaw, Poland"],"raw_orcid":"https://orcid.org/0000-0002-4535-6508","affiliations":[{"raw_affiliation_string":"University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023795924","display_name":"Philip Offtermatt","orcid":"https://orcid.org/0000-0001-8477-2849"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Philip Offtermatt","raw_affiliation_strings":["Informal Systems, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0000-0001-8477-2849","affiliations":[{"raw_affiliation_string":"Informal Systems, Lausanne, Switzerland","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"14"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.965499997138977,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9556999802589417,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.9417455196380615},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7141577005386353},{"id":"https://openalex.org/keywords/reset","display_name":"Reset (finance)","score":0.6725205183029175},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6163744926452637},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31379711627960205},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.23652449250221252}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9417455196380615},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7141577005386353},{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.6725205183029175},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6163744926452637},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31379711627960205},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.23652449250221252},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3661814.3662086","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3661814.3662086","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W205218531","https://openalex.org/W1513999490","https://openalex.org/W1541004980","https://openalex.org/W1545252802","https://openalex.org/W1828850106","https://openalex.org/W1839623074","https://openalex.org/W1967174286","https://openalex.org/W1987557885","https://openalex.org/W1989788631","https://openalex.org/W2068361557","https://openalex.org/W2099040330","https://openalex.org/W2106274692","https://openalex.org/W2116818211","https://openalex.org/W2129466958","https://openalex.org/W2137594927","https://openalex.org/W2138447175","https://openalex.org/W2153546266","https://openalex.org/W2162868766","https://openalex.org/W2254409895","https://openalex.org/W2503470518","https://openalex.org/W2907944076","https://openalex.org/W2962843301","https://openalex.org/W2965199304","https://openalex.org/W3093996209","https://openalex.org/W3099076450","https://openalex.org/W3106205819","https://openalex.org/W3157357863","https://openalex.org/W3157598257","https://openalex.org/W4206480932","https://openalex.org/W4289799996","https://openalex.org/W4362707363","https://openalex.org/W4387356143","https://openalex.org/W4390404419","https://openalex.org/W4390412876","https://openalex.org/W6902636004"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2466303427","https://openalex.org/W1511249877","https://openalex.org/W1578828174","https://openalex.org/W2950376466","https://openalex.org/W2000943029","https://openalex.org/W2621980927","https://openalex.org/W4302559785","https://openalex.org/W2140496290"],"abstract_inverted_index":{"Workflow":[0],"nets":[1,8,25],"are":[2,50],"a":[3],"well-established":[4],"variant":[5],"of":[6,12,23],"Petri":[7],"for":[9],"the":[10],"modeling":[11],"process":[13],"activities":[14],"such":[15],"as":[16],"business":[17],"processes.":[18],"The":[19],"standard":[20],"correctness":[21],"notion":[22],"workflow":[24],"is":[26],"soundness,":[27],"which":[28],"comes":[29],"in":[30,53],"several":[31],"variants.":[32],"Their":[33],"decidability":[34],"was":[35,42],"shown":[36],"decades":[37],"ago,":[38],"but":[39],"their":[40],"complexity":[41],"only":[43],"identified":[44],"recently.":[45],"In":[46],"this":[47],"work,":[48],"we":[49],"primarily":[51],"interested":[52],"two":[54],"popular":[55],"variants:":[56],"1-soundness":[57],"and":[58],"generalised":[59],"soundness.":[60]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-25T15:57:00.446498","created_date":"2025-10-10T00:00:00"}