{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T11:31:28Z","timestamp":1762342288949,"version":"3.37.3"},"reference-count":75,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Science and Technology Major Project","doi-asserted-by":"publisher","award":["2022ZD0119501"],"award-info":[{"award-number":["2022ZD0119501"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["52374221"],"award-info":[{"award-number":["52374221"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science and Technology Development Fund of Shandong Province of China","award":["ZR2022MF288","ZR2023MF097"],"award-info":[{"award-number":["ZR2022MF288","ZR2023MF097"]}]},{"name":"Taishan Scholar Program of Shandong Province","award":["ts20190936"],"award-info":[{"award-number":["ts20190936"]}]},{"name":"Science and Technology Program Special Project of Qingdao West Coast New Area","award":["202209"],"award-info":[{"award-number":["202209"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/access.2024.3384489","type":"journal-article","created":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T17:50:23Z","timestamp":1712166623000},"page":"53713-53738","source":"Crossref","is-referenced-by-count":2,"title":["Petri Net Unfolding-Based Detection and Replay of Program Deadlocks"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1992-7127","authenticated-orcid":false,"given":"Faming","family":"Lu","sequence":"first","affiliation":[{"name":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-8463-4654","authenticated-orcid":false,"given":"Fenghua","family":"Lv","sequence":"additional","affiliation":[{"name":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minghao","family":"Cui","sequence":"additional","affiliation":[{"name":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1556-5114","authenticated-orcid":false,"given":"Yunxia","family":"Bao","sequence":"additional","affiliation":[{"name":"College of Mathematics and System Science, Shandong University of Science and Technology, Qingdao, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6421-8223","authenticated-orcid":false,"given":"Qingtian","family":"Zeng","sequence":"additional","affiliation":[{"name":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2017.2707089"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-52249-0_5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/tpds.2013.13"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3055831"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-015-4042-0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11678779_14"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/access.2020.2964312"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/access.2021.3065421"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542489"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.15514\/ISPRAS-2020-32(5)-2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_26"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2014.2301725"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.22"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.5324"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3591291"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534377"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2008.68"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.5626\/JOK.2021.48.2.174"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_15"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/11678779_15"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1147\/jrd.2010.2060276"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2692916.2555262"},{"volume-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"Peterson","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56496-9_14"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1735970.1736040"},{"key":"ref28","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. Usenix Conf. Operating Syst. Design Implement.","volume":"8","author":"Cadar"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/icse.2012.6227156"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/tpds.2014.2307864"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2016.2537335"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568312"},{"volume-title":"Java Language Specification, Java SE 8 Edition","year":"2014","author":"Gosling","key":"ref33"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.11.011"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2160626"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.09.010"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.10.014"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.09.057"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2015.7296528"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.07.009"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/inista.2016.7571845"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(88)90027-1"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2019.8743177"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2698640"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/71.80172"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/tsmc.2016.2523944"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2585348"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2692262"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2226878"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/11494744_7"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61363-3_4"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014746130920"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49583-5_7"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2019.05.021"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_54"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2019.2944299"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/tsmc.2016.2523929"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2023.103061"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.11.025"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-51831-8_10"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2023.103073"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2021.3114498"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/access.2024.3361811"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/tsmc.2021.3062469"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2023.122744"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3305951"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3266456"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3335843"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3266661"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3247730"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3272227"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-05063-4_5"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2597061"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/10380310\/10489962.pdf?arnumber=10489962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,19]],"date-time":"2024-04-19T17:31:52Z","timestamp":1713547912000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10489962\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":75,"URL":"https:\/\/doi.org\/10.1109\/access.2024.3384489","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2024]]}}}