{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:20:14Z","timestamp":1740169214387,"version":"3.37.3"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["2232021D-21","2232020D-51"],"award-info":[{"award-number":["2232021D-21","2232020D-51"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008838","name":"Shanghai Municipal Commission of Economy and Information Civil-Military Inosculation Project","doi-asserted-by":"publisher","award":["JMRH-2018-1042"],"award-info":[{"award-number":["JMRH-2018-1042"]}],"id":[{"id":"10.13039\/501100008838","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100015645","name":"Initial Research Funds for Young Teachers of Donghua University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100015645","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2021]]},"DOI":"10.1109\/access.2021.3084744","type":"journal-article","created":{"date-parts":[[2021,5,28]],"date-time":"2021-05-28T19:58:28Z","timestamp":1622231908000},"page":"79766-79775","source":"Crossref","is-referenced-by-count":1,"title":["A Measure Consistency Method for Overlapping Correspondence of Workflow Nets Based on Relation Profiles Partner Matrix"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5718-0653","authenticated-orcid":false,"given":"Mimi","family":"Wang","sequence":"first","affiliation":[{"name":"College of Information Science and Technology, Donghua University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9484-3345","authenticated-orcid":false,"given":"Peihai","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Donghua University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2013","author":"dumas","journal-title":"Business Process Management","key":"ref10"},{"year":"2013","author":"girault","journal-title":"Petri Nets for Systems Engineering A Guide to Modeling Verification and Applications","key":"ref11"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-319-07734-5_12"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/TSMC.2018.2852652"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/2430545.2430547"},{"key":"ref15","article-title":"Efficient conformance checking using alignment computation with tandem repeats","author":"rei\u00dfner","year":"2020","journal-title":"arXiv 2004 01781"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/TSE.2010.96"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/3394056"},{"key":"ref18","article-title":"Efficient conformance checking using alignment computation with tandem repeats","author":"rei\u00dfner","year":"2020","journal-title":"arXiv 2004 01781"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/TII.2020.2966758"},{"key":"ref28","first-page":"13","article-title":"Process mining for Python (PM4Py): Bridging the gap between process- and data science","author":"berti","year":"2019","journal-title":"Proc ICPM Demo Track Co-Located With 1st Int Conf Process Mining (ICPM)"},{"year":"2009","author":"li","journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/TSMC.2016.2598287"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TSMCA.2012.2226878"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/s00165-010-0161-4"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/JAS.2017.7510775"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TSE.2017.2668418"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1038\/nature06958"},{"key":"ref2","first-page":"407","article-title":"Verification of workflow nets","author":"van der aalst","year":"1997","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ACCESS.2019.2933247"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-3-642-33278-4"},{"key":"ref20","volume":"204","author":"zhou","year":"2012","journal-title":"Petri Net Synthesis for Discrete Event Control of Manufacturing Systems"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","article-title":"A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"year":"1998","author":"zhou","journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/TAC.2019.2897272"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/TSMC.2018.2862387"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/TAC.2017.2677859"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/TSMC.2017.2665479"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9312710\/09443186.pdf?arnumber=9443186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T20:55:37Z","timestamp":1662670537000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9443186\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/access.2021.3084744","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2021]]}}}