{"id":"https://openalex.org/W2911760610","doi":"https://doi.org/10.1109/access.2019.2896079","title":"A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges","display_name":"A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2911760610","doi":"https://doi.org/10.1109/access.2019.2896079","mag":"2911760610"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2896079","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2896079","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08629908.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,"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"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08629908.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015248791","display_name":"Yuhua Xu","orcid":"https://orcid.org/0000-0001-9430-8791"},"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":true,"raw_author_name":"Yuhua Xu","raw_affiliation_strings":["College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, 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"},"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, 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, 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"},"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, 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, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059646707","display_name":"Wenjing Luan","orcid":"https://orcid.org/0000-0003-0315-2934"},"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":"Wenjing Luan","raw_affiliation_strings":["College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, 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"},"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, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5015248791"],"corresponding_institution_ids":["https://openalex.org/I80143920"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":2.7284,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.90616928,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"7","issue":null,"first_page":"18531","last_page":"18545"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":1.0,"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":1.0,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9980000257492065,"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/petri-net","display_name":"Petri net","score":0.8127358555793762},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7905473709106445},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7613871097564697},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6646391153335571},{"id":"https://openalex.org/keywords/logic-model","display_name":"Logic model","score":0.5921765565872192},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5170636773109436},{"id":"https://openalex.org/keywords/business-logic","display_name":"Business logic","score":0.48742344975471497},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.45715612173080444},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.43440717458724976},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.37927037477493286},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33480116724967957},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18615469336509705},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.16933825612068176},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1596299409866333},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15946394205093384},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0900876522064209},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.084160715341568}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8127358555793762},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7905473709106445},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7613871097564697},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6646391153335571},{"id":"https://openalex.org/C2775940519","wikidata":"https://www.wikidata.org/wiki/Q17067742","display_name":"Logic model","level":2,"score":0.5921765565872192},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5170636773109436},{"id":"https://openalex.org/C146222976","wikidata":"https://www.wikidata.org/wiki/Q1204997","display_name":"Business logic","level":2,"score":0.48742344975471497},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.45715612173080444},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.43440717458724976},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.37927037477493286},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33480116724967957},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18615469336509705},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.16933825612068176},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1596299409866333},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15946394205093384},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0900876522064209},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.084160715341568},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"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/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0},{"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/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.2896079","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2896079","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08629908.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,"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:e365ac894ecc4e43979ce0231b041164","is_oa":true,"landing_page_url":"https://doaj.org/article/e365ac894ecc4e43979ce0231b041164","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,"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 18531-18545 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2896079","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2896079","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08629908.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,"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":[],"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/W2911760610.pdf","grobid_xml":"https://content.openalex.org/works/W2911760610.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W793339159","https://openalex.org/W1490658580","https://openalex.org/W1651168384","https://openalex.org/W1751549213","https://openalex.org/W1965215820","https://openalex.org/W1974614214","https://openalex.org/W1998189845","https://openalex.org/W2002235729","https://openalex.org/W2006913045","https://openalex.org/W2020675906","https://openalex.org/W2027205099","https://openalex.org/W2041853864","https://openalex.org/W2086414784","https://openalex.org/W2098250644","https://openalex.org/W2102863299","https://openalex.org/W2111207692","https://openalex.org/W2113071192","https://openalex.org/W2129466958","https://openalex.org/W2140571618","https://openalex.org/W2154259279","https://openalex.org/W2157327038","https://openalex.org/W2264854971","https://openalex.org/W2296589564","https://openalex.org/W2342897103","https://openalex.org/W2344326925","https://openalex.org/W2396571868","https://openalex.org/W2461900131","https://openalex.org/W2508985460","https://openalex.org/W2511769035","https://openalex.org/W2523482717","https://openalex.org/W2524961085","https://openalex.org/W2562661928","https://openalex.org/W2567068623","https://openalex.org/W2594774104","https://openalex.org/W2604220782","https://openalex.org/W2607479042","https://openalex.org/W2613548800","https://openalex.org/W2735669400","https://openalex.org/W2765745263","https://openalex.org/W2776443426","https://openalex.org/W2777104519","https://openalex.org/W2790148723","https://openalex.org/W2890905394","https://openalex.org/W2891430404","https://openalex.org/W2894979619","https://openalex.org/W2895618658","https://openalex.org/W2907075058","https://openalex.org/W4243932450","https://openalex.org/W6725822465","https://openalex.org/W6731115184","https://openalex.org/W6745306909"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W2132799268","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2126080849","https://openalex.org/W2136992253","https://openalex.org/W2385029751","https://openalex.org/W1965384099","https://openalex.org/W2167800828"],"abstract_inverted_index":{"Process":[0],"models":[1],"can":[2,34,147],"be":[3,48,148],"discovered":[4],"from":[5,133],"event":[6,22,99],"logs":[7,23],"generated":[8],"by":[9,67,153],"the":[10,31,39,44,52,64,68,111,125,159,170],"enterprise":[11],"information":[12],"system.":[13],"As":[14],"business":[15,53],"processes'":[16],"frequently":[17],"changing,":[18],"some":[19,131],"activities":[20,37,57],"in":[21,59,137],"may":[24,76],"belong":[25],"to":[26,47,50,110,123,158],"different":[27],"choice":[28,41,61,121],"branches,":[29],"while":[30],"actual":[32],"model":[33,45,65,86,151,172],"only":[35],"replay":[36],"on":[38,90,130],"same":[40],"branch.":[42],"Thus,":[43],"needs":[46],"repaired":[49,66,152],"describe":[51],"process":[54],"accurately.":[55],"For":[56],"occurring":[58],"a":[60,79,84,97,138,165],"structure,":[62],"although":[63],"existing":[69,171],"methods":[70],"has":[71,164],"good":[72],"fitness,":[73],"its":[74],"structure":[75],"have":[77],"changed":[78],"lot.":[80],"This":[81],"paper":[82],"proposes":[83],"new":[85,98],"repair":[87,124,173],"method":[88,146,155],"based":[89],"logic":[91],"Petri":[92],"nets.":[93],"First,":[94],"we":[95,105,117],"define":[96],"log":[100],"type-choice":[101],"deviation":[102,107],"sub-log.":[103],"Then,":[104],"find":[106],"positions":[108],"according":[109],"principle":[112],"of":[113,144],"token":[114],"replaying.":[115],"Next,":[116],"add":[118],"bridges":[119],"among":[120],"branches":[122],"model.":[126],"We":[127],"conduct":[128],"experiments":[129],"cases":[132],"cancer":[134],"treatment":[135],"processes":[136],"hospital.":[139],"The":[140,150],"effectiveness":[141],"and":[142,162],"correctness":[143],"our":[145,154],"illustrated.":[149],"is":[156],"similar":[157],"original":[160],"one,":[161],"it":[163],"higher":[166],"precision":[167],"compared":[168],"with":[169],"methods.":[174]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}