{"id":"https://openalex.org/W2007508966","doi":"https://doi.org/10.1109/tsmca.2011.2147310","title":"Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets","display_name":"Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets","publication_year":2011,"publication_date":"2011-05-20","ids":{"openalex":"https://openalex.org/W2007508966","doi":"https://doi.org/10.1109/tsmca.2011.2147310","mag":"2007508966"},"language":"en","primary_location":{"id":"doi:10.1109/tsmca.2011.2147310","doi":"https://doi.org/10.1109/tsmca.2011.2147310","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmca.2011.2147310","pdf_url":null,"source":{"id":"https://openalex.org/S4210201610","display_name":"IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans","issn_l":"1083-4427","issn":["1083-4427","1558-2426"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","norway-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans","raw_type":"journal-article"},"volume":null,"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/A5015622908","display_name":"Ferucio Lauren\u0163iu \u0162iplea","orcid":"https://orcid.org/0000-0001-6143-3641","observed_orcids":["https://orcid.org/0000-0001-6143-3641"]},"institutions":[{"id":"https://openalex.org/I138164181","display_name":"Alexandru Ioan Cuza University","ror":"https://ror.org/022kvet57","country_code":"RO","type":"education","lineage":["https://openalex.org/I138164181"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Ferucio Lauren\u0163iu Tiplea","raw_affiliation_strings":["Department of Computer Science, Alexandru Ioan Cuza University of Ia&i, Iasi, Romania","Dept. of Comput. Sci., Al.I.Cuza Univ. of Iasi, Ias\u0327i, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Alexandru Ioan Cuza University of Ia&i, Iasi, Romania","institution_ids":["https://openalex.org/I138164181"]},{"raw_affiliation_string":"Dept. of Comput. Sci., Al.I.Cuza Univ. of Iasi, Ias\u0327i, Romania","institution_ids":["https://openalex.org/I138164181"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041479642","display_name":"Corina Boc\u0103neala","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I3122748864","display_name":"\"Dunarea de Jos\" University of Galati","ror":"https://ror.org/052sta926","country_code":"RO","type":"education","lineage":["https://openalex.org/I3122748864"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Corina Bocaneala","raw_affiliation_strings":["Department of Mathematics and Computer Science, Dun\u0103rea de Jos University, Galati, Romania","Dept. of Math. & Comput. Sci., Dunarea de Jos Univ., Galati, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Dun\u0103rea de Jos University, Galati, Romania","institution_ids":["https://openalex.org/I3122748864"]},{"raw_affiliation_string":"Dept. of Math. & Comput. Sci., Dunarea de Jos Univ., Galati, Romania","institution_ids":["https://openalex.org/I3122748864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.1336,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.96011428,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"42","issue":"1","first_page":"238","last_page":"249"},"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.9535999894142151,"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.9535999894142151,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.04399999976158142,"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/T10142","display_name":"Formal Methods in Verification","score":0.0003000000142492354,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/decidability","display_name":"decidability","score":0.9670000076293945},{"id":"https://openalex.org/keywords/petri-nets","display_name":"Petri nets","score":0.781000018119812},{"id":"https://openalex.org/keywords/workflow-nets","display_name":"workflow nets","score":0.8519999980926514},{"id":"https://openalex.org/keywords/structural-soundness","display_name":"structural soundness","score":0.9020000100135803},{"id":"https://openalex.org/keywords/workflow-management-systems","display_name":"workflow management systems","score":0.4269999861717224}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9745867848396301},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.7103020548820496},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6896651983261108},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6363687515258789},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4912840723991394},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33760350942611694},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27466440200805664},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.15533733367919922},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmca.2011.2147310","doi":"https://doi.org/10.1109/tsmca.2011.2147310","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmca.2011.2147310","pdf_url":null,"source":{"id":"https://openalex.org/S4210201610","display_name":"IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans","issn_l":"1083-4427","issn":["1083-4427","1558-2426"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","norway-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth","score":0.5299999713897705}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W150678198","https://openalex.org/W1490230666","https://openalex.org/W1493373428","https://openalex.org/W1510349321","https://openalex.org/W1527974694","https://openalex.org/W1531869632","https://openalex.org/W1541004980","https://openalex.org/W1574901384","https://openalex.org/W1775123915","https://openalex.org/W2002878601","https://openalex.org/W2015234709","https://openalex.org/W2037933704","https://openalex.org/W2097685196","https://openalex.org/W2102439171","https://openalex.org/W2106274692","https://openalex.org/W2116300551","https://openalex.org/W2121339612","https://openalex.org/W2121548252","https://openalex.org/W2128054061","https://openalex.org/W2128076342","https://openalex.org/W2130739953","https://openalex.org/W2132883297","https://openalex.org/W2137543433","https://openalex.org/W2142249327","https://openalex.org/W2171622895","https://openalex.org/W2248725568","https://openalex.org/W2311040138","https://openalex.org/W2316865521","https://openalex.org/W2494687241","https://openalex.org/W3145904057","https://openalex.org/W4285719527","https://openalex.org/W4291296620","https://openalex.org/W4297666129"],"related_works":["https://openalex.org/W2978145192","https://openalex.org/W2395489875","https://openalex.org/W36026395","https://openalex.org/W2124765497","https://openalex.org/W1919690991","https://openalex.org/W8250348","https://openalex.org/W1510349321","https://openalex.org/W1541004980","https://openalex.org/W2138447175","https://openalex.org/W7095714244"],"abstract_inverted_index":{"This":[0],"paper":[1],"focuses":[2],"on":[3,131],"the":[4,86,165],"decidability":[5],"status":[6],"of":[7,10,22,36,46,52,88,109,117,169],"various":[8],"forms":[9,51,108],"behavioral":[11,26],"correctness":[12,27,38],"criteria":[13,39],"for":[14,40,59,64,92,120,138],"resource-constrained":[15],"workflow":[16,41,47,60,149],"(RCWF)":[17],"nets":[18,42,66,94,133,150],"(Petri":[19,43],"net":[20,44],"models":[21,45],"RCWF":[23,65,93,121,152],"systems).":[24,48],"These":[25],"criteria,":[28,32],"usually":[29],"called":[30],"soundness":[31,53,63,91,119],"are":[33,54,123],"natural":[34],"extensions":[35],"similar":[37],"While":[49],"all":[50],"known":[55,73],"to":[56,74,164],"be":[57,75,162],"decidable":[58,124],"nets,":[61,122],"only":[62],"with":[67,95,140],"just":[68],"one":[69],"resource":[70,98],"type":[71],"is":[72,100,129,155],"decidable.":[76,101],"In":[77],"this":[78,159],"paper,":[79],"we":[80,84,103],"show":[81,104],"that":[82,105],"if":[83],"limit":[85],"number":[87],"cases,":[89],"then":[90],"arbitrarily":[96,141,145],"many":[97,142],"types":[99],"Moreover,":[102],"some":[106],"\u201cintermediate\u201d":[107],"soundness,":[110],"as":[111,113,134],"well":[112],"a":[114,135],"restrictive":[115],"form":[116,168],"structural":[118],"too.":[125],"The":[126],"proof":[127],"technique":[128,160],"based":[130],"instantiation":[132],"general":[136,167],"tool":[137],"dealing":[139],"cases":[143],"and":[144,151],"large":[146],"resources":[147],"in":[148],"nets.":[153],"It":[154],"also":[156],"shown":[157],"why":[158],"cannot":[161],"extended":[163],"most":[166],"soundness.":[170]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":6}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}