{"id":"https://openalex.org/W4393864573","doi":"https://doi.org/10.1109/access.2024.3384489","title":"Petri Net Unfolding-Based Detection and Replay of Program Deadlocks","display_name":"Petri Net Unfolding-Based Detection and Replay of Program Deadlocks","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4393864573","doi":"https://doi.org/10.1109/access.2024.3384489"},"language":"en","primary_location":{"id":"doi:10.1109/access.2024.3384489","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3384489","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10489962.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/6514899/10489962.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057907250","display_name":"Faming Lu","orcid":"https://orcid.org/0000-0002-1992-7127"},"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":"Faming Lu","raw_affiliation_strings":["College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"],"raw_orcid":"https://orcid.org/0000-0002-1992-7127","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/A5085500012","display_name":"Fenghua Lv","orcid":"https://orcid.org/0009-0001-8463-4654"},"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":"Fenghua Lv","raw_affiliation_strings":["College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"],"raw_orcid":"https://orcid.org/0009-0001-8463-4654","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/A5006908350","display_name":"Minghao Cui","orcid":null},"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":"Minghao Cui","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/A5102223781","display_name":"Yunxia Bao","orcid":"https://orcid.org/0000-0002-1556-5114"},"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":"Yunxia Bao","raw_affiliation_strings":["College of Mathematics and System Science, Shandong University of Science and Technology, Qingdao, China"],"raw_orcid":"https://orcid.org/0000-0002-1556-5114","affiliations":[{"raw_affiliation_string":"College of Mathematics and System Science, Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003178957","display_name":"Qingtian Zeng","orcid":"https://orcid.org/0000-0002-6421-8223"},"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":"Qingtian Zeng","raw_affiliation_strings":["College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"],"raw_orcid":"https://orcid.org/0000-0002-6421-8223","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":1,"corresponding_author_ids":[],"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":0.5764,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.66353615,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"12","issue":null,"first_page":"53713","last_page":"53738"},"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.9994999766349792,"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.9994999766349792,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9879999756813049,"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/petri-net","display_name":"Petri net","score":0.8635442852973938},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.858718752861023},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.8382354378700256},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7956058382987976},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6135633587837219},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6105716228485107},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.5530915856361389},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.478431761264801},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.36075007915496826},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.34825995564460754},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1219034194946289},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09488877654075623}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8635442852973938},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.858718752861023},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.8382354378700256},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7956058382987976},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6135633587837219},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6105716228485107},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.5530915856361389},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.478431761264801},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36075007915496826},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34825995564460754},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1219034194946289},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09488877654075623},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2024.3384489","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3384489","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10489962.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:5d971f31dd2447448367d44d6288abb0","is_oa":true,"landing_page_url":"https://doaj.org/article/5d971f31dd2447448367d44d6288abb0","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 12, Pp 53713-53738 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2024.3384489","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3384489","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10489962.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/G4004948308","display_name":null,"funder_award_id":"2022ZD0119501","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G4353863251","display_name":null,"funder_award_id":"52374221","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6760579012","display_name":null,"funder_award_id":"ts20190936","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393864573.pdf","grobid_xml":"https://content.openalex.org/works/W4393864573.grobid-xml"},"referenced_works_count":75,"referenced_works":["https://openalex.org/W1541313361","https://openalex.org/W1544441750","https://openalex.org/W1546456762","https://openalex.org/W1561114929","https://openalex.org/W1572739102","https://openalex.org/W1595155342","https://openalex.org/W1651168384","https://openalex.org/W1680666858","https://openalex.org/W1862182621","https://openalex.org/W1868584616","https://openalex.org/W1974042116","https://openalex.org/W1978320803","https://openalex.org/W1980689777","https://openalex.org/W1983393516","https://openalex.org/W1996109622","https://openalex.org/W1999127935","https://openalex.org/W2037933704","https://openalex.org/W2047260020","https://openalex.org/W2051965449","https://openalex.org/W2070603314","https://openalex.org/W2076195478","https://openalex.org/W2085539279","https://openalex.org/W2099620341","https://openalex.org/W2101161997","https://openalex.org/W2108678912","https://openalex.org/W2110852599","https://openalex.org/W2114399731","https://openalex.org/W2137968059","https://openalex.org/W2164022236","https://openalex.org/W2164024827","https://openalex.org/W2164726526","https://openalex.org/W2174390203","https://openalex.org/W2319860623","https://openalex.org/W2324975668","https://openalex.org/W2344421829","https://openalex.org/W2471803228","https://openalex.org/W2489834867","https://openalex.org/W2522231579","https://openalex.org/W2553653057","https://openalex.org/W2553901072","https://openalex.org/W2607645294","https://openalex.org/W2611319816","https://openalex.org/W2617064781","https://openalex.org/W2735669400","https://openalex.org/W2904061702","https://openalex.org/W2944639182","https://openalex.org/W2944738468","https://openalex.org/W2953534434","https://openalex.org/W2983543554","https://openalex.org/W2999501513","https://openalex.org/W3017218903","https://openalex.org/W3037792315","https://openalex.org/W3039223325","https://openalex.org/W3112512014","https://openalex.org/W3127966135","https://openalex.org/W3132754636","https://openalex.org/W3135374998","https://openalex.org/W3137070212","https://openalex.org/W3151416809","https://openalex.org/W3205399122","https://openalex.org/W4252845830","https://openalex.org/W4285490427","https://openalex.org/W4302167780","https://openalex.org/W4321780142","https://openalex.org/W4365420478","https://openalex.org/W4365420530","https://openalex.org/W4367666066","https://openalex.org/W4379536496","https://openalex.org/W4385938067","https://openalex.org/W4388854603","https://openalex.org/W4389305050","https://openalex.org/W4389328313","https://openalex.org/W4389720890","https://openalex.org/W4391468043","https://openalex.org/W6637688222"],"related_works":["https://openalex.org/W2045940297","https://openalex.org/W1904030840","https://openalex.org/W153779636","https://openalex.org/W2552031328","https://openalex.org/W2144623944","https://openalex.org/W3083862868","https://openalex.org/W2141563078","https://openalex.org/W1679355703","https://openalex.org/W2025827957","https://openalex.org/W2153540690"],"abstract_inverted_index":{"Program":[0],"deadlock":[1,26,57,70,128,140,151,168],"detection":[2,99,152],"plays":[3],"an":[4],"important":[5],"role":[6],"in":[7,53],"ensuring":[8],"the":[9,17,64,76,84,109,149,167],"stability":[10],"of":[11,16,83],"software":[12],"systems.":[13],"In":[14,75,108],"view":[15],"high":[18],"efficiency":[19],"and":[20,153,166,173],"low":[21],"false":[22,58,159],"alarm":[23],"rate,":[24],"dynamic":[25,34,69,164],"analysis":[27,35,71],"methods":[28,36,100],"are":[29,50,101],"widely":[30],"studied.":[31],"However,":[32],"existing":[33,54,179],"use":[37],"lock":[38,55],"graph":[39],"or":[40],"its":[41],"extended":[42],"variants":[43],"to":[44,103,162,175],"model":[45,82],"program":[46,85,90,106,120,139],"behavior.":[47],"Since":[48],"there":[49],"information":[51],"loss":[52],"graphs,":[56],"positives":[59,160],"still":[60],"exist.":[61],"To":[62],"solve":[63],"problem,":[65],"a":[66,79,118,142],"novel":[67],"2-stage":[68],"method":[72,155],"is":[73,86,130,141,146,171],"proposed.":[74],"first":[77],"stage,":[78,111],"Petri":[80,95,114],"net":[81,96,115],"constructed":[87],"by":[88],"analyzing":[89],"running":[91],"traces.":[92],"Then,":[93],"unfolding-based":[94],"dead":[97],"marking":[98],"used":[102,126],"identify":[104],"potential":[105,134],"deadlocks.":[107],"second":[110],"based":[112],"on":[113],"unfolding":[116],"techniques,":[117],"deterministic":[119,172],"scheduling":[121,181],"scheme":[122,170],"that":[123,148],"can":[124,156],"be":[125],"for":[127,132],"replay":[129,154,169],"derived":[131],"each":[133],"deadlock.":[135,144],"Each":[136],"successfully":[137],"replayed":[138],"real":[143],"It":[145],"shown":[147],"proposed":[150],"eliminate":[157],"more":[158],"compared":[161,177],"general":[163],"methods,":[165],"easy":[174],"understand":[176],"with":[178],"random":[180],"strategies.":[182]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}