{"id":"https://openalex.org/W2765615144","doi":"https://doi.org/10.3233/fi-2017-1599","title":"On Determining the AND-OR Hierarchy in Workflow Nets","display_name":"On Determining the AND-OR Hierarchy in Workflow Nets","publication_year":2017,"publication_date":"2017-10-31","ids":{"openalex":"https://openalex.org/W2765615144","doi":"https://doi.org/10.3233/fi-2017-1599","mag":"2765615144"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2017-1599","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2017-1599","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"article","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/A5091346096","display_name":"Jacek Sroka","orcid":"https://orcid.org/0000-0002-1714-9667"},"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":true,"raw_author_name":"Jacek Sroka","raw_affiliation_strings":["Institute of Informatics, University of Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068967246","display_name":"Jan Hidders","orcid":"https://orcid.org/0000-0002-8865-4329"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Jan Hidders","raw_affiliation_strings":["Vrije Universiteit Brussel, Belgium"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel, Belgium","institution_ids":["https://openalex.org/I13469542"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5091346096"],"corresponding_institution_ids":["https://openalex.org/I4654613"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18327673,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"156","issue":"1","first_page":"95","last_page":"123"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9987999796867371,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.862945020198822},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.8543961644172668},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7437689900398254},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5430507063865662},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5428904891014099},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.5220355987548828},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.517227292060852},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47899147868156433},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.475655734539032},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.47429779171943665},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.47227180004119873},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4202054738998413},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.42015692591667175},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12924495339393616},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12799102067947388}],"concepts":[{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.862945020198822},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.8543961644172668},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7437689900398254},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5430507063865662},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5428904891014099},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.5220355987548828},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.517227292060852},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47899147868156433},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.475655734539032},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47429779171943665},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.47227180004119873},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4202054738998413},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.42015692591667175},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12924495339393616},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12799102067947388},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","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},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/fi-2017-1599","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2017-1599","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:30940","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400466","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:111948","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/on-determining-the-andor-hierarchy-in-workflow-nets(4a357641-16fe-4209-92f8-072e74d62a34).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W327731419","https://openalex.org/W1511762409","https://openalex.org/W1532777614","https://openalex.org/W1537297192","https://openalex.org/W1541004980","https://openalex.org/W1559104316","https://openalex.org/W1583572879","https://openalex.org/W1585036716","https://openalex.org/W1600271074","https://openalex.org/W1891974677","https://openalex.org/W1979101142","https://openalex.org/W1991733014","https://openalex.org/W1996109622","https://openalex.org/W1997871183","https://openalex.org/W2011512582","https://openalex.org/W2060511478","https://openalex.org/W2099495594","https://openalex.org/W2101225501","https://openalex.org/W2102539527","https://openalex.org/W2110920221","https://openalex.org/W2127300475","https://openalex.org/W2129466958","https://openalex.org/W2136922549","https://openalex.org/W2138447175","https://openalex.org/W2141383245","https://openalex.org/W2143543488","https://openalex.org/W2147222975","https://openalex.org/W2151280810","https://openalex.org/W2166334040","https://openalex.org/W2400423090"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W1578828174","https://openalex.org/W2950376466","https://openalex.org/W2000943029","https://openalex.org/W2352365006","https://openalex.org/W2358447468","https://openalex.org/W1560714495","https://openalex.org/W2963754540","https://openalex.org/W2617189160","https://openalex.org/W2221885959"],"abstract_inverted_index":{"This":[0,34,85],"paper":[1],"presents":[2],"a":[3,8,14,42,62,78,157,183],"notion":[4],"of":[5,29,41,87,128,136,147,150,167],"reduction":[6,35,70,110,138],"where":[7],"WF":[9,43,63,79,88,184],"net":[10,16,64,80,185],"is":[11,65,81,106,111,139,160,172,186],"transformed":[12],"into":[13,23],"smaller":[15],"by":[17],"iteratively":[18],"contracting":[19],"certain":[20,49],"well-formed":[21],"subnets":[22,129],"single":[24],"nodes":[25],"until":[26],"no":[27],"more":[28],"such":[30,52],"contractions":[31],"are":[32,131],"possible.":[33],"can":[36,55,71,177],"reveal":[37],"the":[38,109,120,126,133,137,141,145,148,151,168],"hierarchical":[39,102],"structure":[40],"net,":[44],"and":[45,59,95],"since":[46],"it":[47,171],"preserves":[48],"semantic":[50],"properties":[51],"as":[53],"soundness,":[54],"help":[56],"with":[57],"analysing":[58],"understanding":[60],"why":[61],"sound":[66],"or":[67],"not.":[68],"The":[69],"also":[72],"be":[73,178],"used":[74,179],"to":[75,114,144,180],"verify":[76,181],"if":[77,182],"an":[82,187],"AND-OR":[83,188],"net.":[84,189],"class":[86],"nets":[89,98],"was":[90],"introduced":[91],"in":[92],"earlier":[93],"work,":[94],"arguably":[96],"describes":[97],"that":[99,108,118,123,130,162],"follow":[100],"good":[101],"design":[103],"principles.":[104],"It":[105],"shown":[107,173],"confluent":[112],"up":[113,143],"isomorphism,":[115],"which":[116],"means":[117],"despite":[119],"inherent":[121],"non-determinism":[122],"comes":[124],"from":[125],"choice":[127,146],"contracted,":[132],"final":[134],"result":[135,166],"always":[140],"same":[142],"identity":[149],"nodes.":[152],"Based":[153],"on":[154],"this":[155,164,175],"result,":[156],"polynomial-time":[158],"algorithm":[159,176],"presented":[161],"computes":[163],"unique":[165],"reduction.":[169],"Finally,":[170],"how":[174]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}