{"id":"https://openalex.org/W2911033802","doi":"https://doi.org/10.1109/access.2019.2893327","title":"A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets","display_name":"A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2911033802","doi":"https://doi.org/10.1109/access.2019.2893327","mag":"2911033802"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2893327","doi":"https://doi.org/10.1109/access.2019.2893327","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2893327","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08618316.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","doaj","jufo-1","ki-jl-1","norway-1","oarl","poland-100","russia-white-list-1","vabb-shw"],"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 Access","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08618316.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090000129","display_name":"Wentai Zheng","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wentai Zheng","raw_affiliation_strings":["College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101936781","display_name":"Yuyue Du","orcid":"https://orcid.org/0000-0002-5586-109X","observed_orcids":["https://orcid.org/0000-0002-5586-109X"]},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuyue Du","raw_affiliation_strings":["College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China"],"raw_orcid":"https://orcid.org/0000-0002-5586-109X","affiliations":[{"raw_affiliation_string":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046114805","display_name":"Liang Qi","orcid":"https://orcid.org/0000-0002-0762-5607","observed_orcids":["https://orcid.org/0000-0002-0762-5607","https://orcid.org/0009-0002-0406-8347"]},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Qi","raw_affiliation_strings":["College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China"],"raw_orcid":"https://orcid.org/0000-0002-0762-5607","affiliations":[{"raw_affiliation_string":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100364517","display_name":"Lu Wang","orcid":"https://orcid.org/0000-0003-1048-6430","observed_orcids":["https://orcid.org/0000-0003-1048-6430"]},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lu Wang","raw_affiliation_strings":["College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China","institution_ids":["https://openalex.org/I80143920"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I80143920"],"apc_list":{"value":1750,"currency":"USD","value_usd":1750},"apc_paid":{"value":1750,"currency":"USD","value_usd":1750},"fwci":2.7153,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.90897961,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":"7","issue":null,"first_page":"13106","last_page":"13120"},"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.9994999766349792,"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.9994999766349792,"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.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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/conformance-checking","display_name":"conformance checking","score":0.7369999885559082},{"id":"https://openalex.org/keywords/event-logs","display_name":"event logs","score":0.9599999785423279},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"business process modeling","score":0.5350000262260437}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8548256158828735},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8180538415908813},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7870078682899475},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7735394239425659},{"id":"https://openalex.org/C146222976","wikidata":"https://www.wikidata.org/wiki/Q1204997","display_name":"Business logic","level":2,"score":0.5572614073753357},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.501288890838623},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4978597164154053},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.48751136660575867},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.46518272161483765},{"id":"https://openalex.org/C2775940519","wikidata":"https://www.wikidata.org/wiki/Q17067742","display_name":"Logic model","level":2,"score":0.4429955780506134},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44176989793777466},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.4409528076648712},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42271408438682556},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3896833062171936},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34476566314697266},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3343941569328308},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.18794262409210205},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0797419548034668},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2019.2893327","doi":"https://doi.org/10.1109/access.2019.2893327","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2893327","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08618316.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","doaj","jufo-1","ki-jl-1","norway-1","oarl","poland-100","russia-white-list-1","vabb-shw"],"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 Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:7b881d9944e04846a447191d779d123e","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/7b881d9944e04846a447191d779d123e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 7, Pp 13106-13120 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2893327","doi":"https://doi.org/10.1109/access.2019.2893327","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2893327","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08618316.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","doaj","jufo-1","ki-jl-1","norway-1","oarl","poland-100","russia-white-list-1","vabb-shw"],"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 Access","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G6735682110","display_name":null,"funder_award_id":"ZR2018MF001","funder_id":"https://openalex.org/F4320324174","funder_display_name":"Natural Science Foundation of Shandong Province"},{"id":"https://openalex.org/G7081695179","display_name":null,"funder_award_id":"2018GGX101011","funder_id":"https://openalex.org/F4320333596","funder_display_name":"Key Technology Research and Development Program of Shandong"}],"funders":[{"id":"https://openalex.org/F4320324174","display_name":"Natural Science Foundation of Shandong Province","ror":null},{"id":"https://openalex.org/F4320333596","display_name":"Key Technology Research and Development Program of Shandong","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2911033802.pdf","grobid_xml":"https://content.openalex.org/works/W2911033802.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W1974614214","https://openalex.org/W1987350303","https://openalex.org/W1996109622","https://openalex.org/W2059001796","https://openalex.org/W2062052233","https://openalex.org/W2098250644","https://openalex.org/W2102863299","https://openalex.org/W2111207692","https://openalex.org/W2113071192","https://openalex.org/W2115937275","https://openalex.org/W2126775675","https://openalex.org/W2146613276","https://openalex.org/W2154259279","https://openalex.org/W2157327038","https://openalex.org/W2158891129","https://openalex.org/W2159904898","https://openalex.org/W2174390203","https://openalex.org/W2296589564","https://openalex.org/W2500909930","https://openalex.org/W2508985460","https://openalex.org/W2529017842","https://openalex.org/W2530196882","https://openalex.org/W2567068623","https://openalex.org/W2750873984","https://openalex.org/W2777104519","https://openalex.org/W2790148723","https://openalex.org/W2804169451","https://openalex.org/W2808171667","https://openalex.org/W2891430404","https://openalex.org/W2895618658","https://openalex.org/W2907075058","https://openalex.org/W4230145224","https://openalex.org/W6728356550"],"related_works":["https://openalex.org/W2907075058","https://openalex.org/W2911760610","https://openalex.org/W3014041691","https://openalex.org/W2993523833","https://openalex.org/W2952732584","https://openalex.org/W2790148723","https://openalex.org/W2891430404","https://openalex.org/W2805868941","https://openalex.org/W2966181403","https://openalex.org/W2895618658"],"abstract_inverted_index":{"Process":[0],"models":[1,49],"are":[2,155],"used":[3,38],"to":[4,39,94,109,116],"describe":[5],"or":[6,112],"verify":[7],"the":[8,21,57,61,66,74,96,99,126,153],"correctness":[9,149],"of":[10,23,29,42,98,152],"business":[11,43,75],"processes":[12,44],"before":[13],"their":[14],"implementation":[15],"by":[16,60,128,157],"enterprise":[17],"information":[18],"systems.":[19],"With":[20],"development":[22],"data":[24],"mining":[25],"technologies,":[26],"a":[27,51,80,107,110,114,117],"lot":[28],"event":[30,67],"logs":[31],"generated":[32],"from":[33,73,106,113],"such":[34,143],"systems":[35],"can":[36,64,138],"be":[37],"check":[40],"conformance":[41,141],"and":[45,146,150],"process":[46],"models.":[47],"For":[48],"containing":[50],"choice":[52],"with":[53,132],"concurrency":[54],"structure,":[55],"although":[56],"model":[58,81,127,137],"repaired":[59,136],"existing":[62],"method":[63,83,154],"replay":[65],"log,":[68],"it":[69],"is":[70],"quite":[71],"different":[72],"process.":[76],"Therefore,":[77],"we":[78,90,102,124],"propose":[79],"repair":[82,125],"based":[84],"on":[85],"logic":[86,120,130,133],"Petri":[87,121],"net.":[88],"First,":[89],"give":[91],"an":[92],"algorithm":[93],"find":[95],"position":[97],"deviation.":[100],"Then,":[101],"add":[103],"directed":[104],"arcs":[105],"place":[108,118],"transition":[111,115],"via":[119],"nets.":[122],"Finally,":[123],"adding":[129],"transitions":[131],"functions.":[134],"The":[135,148],"efficiently":[139],"enhance":[140],"dimensions,":[142],"as":[144],"simplicity":[145],"precision.":[147],"effectiveness":[151],"verified":[156],"experimental":[158],"results.":[159]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2019-01-25T00:00:00"}