{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T22:48:16Z","timestamp":1749682096128,"version":"3.37.3"},"reference-count":94,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Shanghai Science and Technology Innovation Action Plan Project","award":["16511100900"],"award-info":[{"award-number":["16511100900"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61332008","61672381"],"award-info":[{"award-number":["61332008","61672381"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1109\/tsmc.2018.2852652","type":"journal-article","created":{"date-parts":[[2018,7,24]],"date-time":"2018-07-24T21:18:18Z","timestamp":1532467098000},"page":"3628-3645","source":"Crossref","is-referenced-by-count":16,"title":["Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5718-0653","authenticated-orcid":false,"given":"Mimi","family":"Wang","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2178-6201","authenticated-orcid":false,"given":"Zhijun","family":"Ding","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7523-4827","authenticated-orcid":false,"given":"Guanjun","family":"Liu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0637-9317","authenticated-orcid":false,"given":"Changjun","family":"Jiang","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"Mengchu","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2014.07.001"},{"key":"ref72","first-page":"69","article-title":"A semantic approach for discovering complex alignments","volume":"11","author":"lamolle","year":"2011","journal-title":"Int J Inf"},{"article-title":"Pattern-based ontology matching and ontology alignment evaluation","year":"2010","author":"svab-zamazal","key":"ref71"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87696-0_10"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2017.06.002"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30284-8_69"},{"key":"ref74","first-page":"626","article-title":"Matching business process workflows across abstraction levels","volume":"7590","author":"branco","year":"2012","journal-title":"Proc MODELS"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref75","doi-asserted-by":"crossref","DOI":"10.1201\/9781315369983","author":"greenacre","year":"2017","journal-title":"Correspondence Analysis in Practice"},{"journal-title":"Elements of Distributed Algorithms Modeling and Analysis with Petri Nets","year":"2013","author":"reisig","key":"ref38"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15618-2_8"},{"article-title":"A conceptual framework for the consistent management of process views","year":"2016","author":"mafazi","key":"ref79"},{"key":"ref33","first-page":"148","article-title":"On profiles and footprints—Relational semantics for Petri nets","volume":"7347","author":"weidlich","year":"2012","journal-title":"Petri Nets"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07734-5_12"},{"key":"ref31","first-page":"128","article-title":"On the $\\alpha$ -reconstructibility of workflow nets","volume":"12","author":"badouel","year":"2012","journal-title":"Petri Nets"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13094-6_37"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8085.001.0001"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2016.2614680"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0372-4"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10172-9_17"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2585348"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289519"},{"journal-title":"Petri Net Synthesis for Discrete Event Control of Manufacturing Systems","year":"2012","author":"zhou","key":"ref61"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2285574"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2009.58"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1142\/5318"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2011-614"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/0016-0032(85)90028-6"},{"journal-title":"Distributed Systems for System Architects","year":"2012","author":"ver\u00edssimo","key":"ref66"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.12.004"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24750-0_19"},{"key":"ref68","volume":"18","author":"euzenat","year":"2007","journal-title":"Ontology Matching"},{"journal-title":"Business Process Management Concepts Languages Architectures","year":"2010","author":"weske","key":"ref69"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0161-4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.09.006"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0356-4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.10.013"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2012.25"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837651"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843012400035"},{"article-title":"Behavioural profiles: A relational approach to behaviour consistency","year":"2011","author":"weidlich","key":"ref25"},{"key":"ref50","doi-asserted-by":"crossref","first-page":"1292","DOI":"10.1109\/TSMC.2015.2394735","article-title":"On the complexity of deciding soundness of acyclic workflow nets","volume":"45","author":"?iplea","year":"2015","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2005.06.002"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59336-4_13"},{"key":"ref93","first-page":"13","article-title":"On the suitability of generalized behavioral profiles for process model comparison","author":"armas-cervantes","year":"2015","journal-title":"Proceedings of WS-FM"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2017.03.006"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799282"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.010"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2015.7296528"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxs014"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2253552"},{"key":"ref56","first-page":"204","article-title":"Using life cycle information in process discovery","author":"leemans","year":"2015","journal-title":"Proc Bus Process Manag Workshops"},{"key":"ref55","first-page":"100","article-title":"On compatibility of Web services","volume":"65","author":"martens","year":"2003","journal-title":"Petri Net Newslett"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916747"},{"key":"ref53","first-page":"51","article-title":"Workflow soundness verification based on structure theory of Petri nets","volume":"5","author":"barkaoui","year":"2007","journal-title":"Int J Comput Inf Sci"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2386802"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2009.23"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2011.5"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27793-4_23"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2597061"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.96"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2016.15"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2015.2469659"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2204741"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-55862-1_2"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.04.016"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4108\/eai.14-12-2015.2262622"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2007.07.001"},{"key":"ref19","first-page":"283","article-title":"Towards a calculus for generative","volume":"1","author":"ciancarini","year":"2016","journal-title":"Formal Methods for Open Object-Based Distributed Systems"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05461-2_2"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.919193"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.2"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-642-00899-3_3","article-title":"Petri net transformations for business processes—A survey","volume":"2","author":"lohmann","year":"2009","journal-title":"Transactions on Petri Nets and Other Models of Concurrency I"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01918-0_2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2015.23"},{"key":"ref85","first-page":"40","article-title":"Web service protocols: Compatibility and adaptation","volume":"31","author":"dumas","year":"2008","journal-title":"IEEE Data Eng Bull"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.57"},{"journal-title":"Operating Guideline for Services","year":"2009","author":"massuthe","key":"ref86"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21834-7_18"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/CANDAR.2014.113"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00899-3_10"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxn064"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2011.46"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(00)00292-7"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2000.898869"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/18.6.825"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63139-9_48"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach","year":"1998","author":"zhou","key":"ref41"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9_14"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/9198254\/08419090.pdf?arnumber=8419090","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,28]],"date-time":"2022-08-28T03:54:52Z","timestamp":1661658892000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8419090\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10]]},"references-count":94,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2018.2852652","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"type":"print","value":"2168-2216"},{"type":"electronic","value":"2168-2232"}],"subject":[],"published":{"date-parts":[[2020,10]]}}}