{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T13:07:07Z","timestamp":1775912827177,"version":"3.50.1"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61902222"],"award-info":[{"award-number":["61902222"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872271"],"award-info":[{"award-number":["61872271"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science and Technology Development Fund of Shandong Province","award":["ZR2017MF027"],"award-info":[{"award-number":["ZR2017MF027"]}]},{"name":"Taishan Scholars Program of Shandong Province","award":["ts20190936"],"award-info":[{"award-number":["ts20190936"]}]},{"name":"Taishan Scholars Program of Shandong Province","award":["tsqn201909109"],"award-info":[{"award-number":["tsqn201909109"]}]},{"DOI":"10.13039\/501100004295","name":"Shandong University of Science and Technology Research Fund","doi-asserted-by":"publisher","award":["2015TDJH102"],"award-info":[{"award-number":["2015TDJH102"]}],"id":[{"id":"10.13039\/501100004295","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2021,7]]},"DOI":"10.1109\/tase.2020.2993376","type":"journal-article","created":{"date-parts":[[2020,6,4]],"date-time":"2020-06-04T20:24:05Z","timestamp":1591302245000},"page":"1037-1048","source":"Crossref","is-referenced-by-count":39,"title":["Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns"],"prefix":"10.1109","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5999-2126","authenticated-orcid":false,"given":"Cong","family":"Liu","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6421-8223","authenticated-orcid":false,"given":"Qingtian","family":"Zeng","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1638-059X","authenticated-orcid":false,"given":"Long","family":"Cheng","sequence":"additional","affiliation":[]},{"given":"Hua","family":"Duan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"Mengchu","family":"Zhou","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5176-4762","authenticated-orcid":false,"given":"Jiujun","family":"Cheng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-7206(99)00038-5"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(00)00003-X"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(00)00012-0"},{"key":"ref32","author":"reveliotis","year":"2006","journal-title":"Real-Time Management of Resource Allocation Systems A Discrete Event Systems Approach"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-018-0328-7"},{"key":"ref30","volume":"4","author":"reisig","year":"2012","journal-title":"Petri Nets An Introduction"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref36","first-page":"407","article-title":"Verification of workflow nets","author":"van der aalst","year":"1997","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/WAINA.2010.172"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2004.03.008"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2204741"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.03.008"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2003.07.012"},{"key":"ref20","first-page":"1","article-title":"Petri net based behavior description of cross-organization workflow with synchronous interaction pattern","author":"liu","year":"2014","journal-title":"Proc Int Workshop Process-Aware Syst"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2330555"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2976124"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2012.768.774"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.7753\/IJSEA0304.1009"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2017EDP7027"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1515\/cait-2016-0038"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(92)90061-J"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1142\/3376"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03737-0_13"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2555014"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843001000412"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510415"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2015.12.003"},{"key":"ref14","author":"linz","year":"2011","journal-title":"An Introduction to Formal Languages and Automata"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2018.2844725"},{"key":"ref16","first-page":"1","article-title":"Hierarchical business process discovery: Identifying sub-processes using lifecycle information","author":"liu","year":"2020","journal-title":"Proc Int Conf Web Services"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2015EDP7397"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2617331"},{"key":"ref19","first-page":"1","article-title":"Component behavior discovery from software execution data","author":"liu","year":"2016","journal-title":"Proc IEEE Symp Ser Comput Intell (SSCI)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.923064"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2293879"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2868924"},{"key":"ref5","first-page":"667","article-title":"Refinement of Petri nets in workflow integration","author":"ding","year":"2006","journal-title":"Proc Int Conf Comput Supported Cooperat Work Design"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2004.12.001"},{"key":"ref7","article-title":"Refinement-based hierarchical modeling and correctness verification of cross-organization collaborative emergency response processes","author":"duan","year":"2018","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2012.12.001"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.07.003"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2984057"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510772"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2334276"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2014.986215"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1023\/B:ITEM.0000008077.91413.86"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2698640"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/9470960\/09108605.pdf?arnumber=9108605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:52:31Z","timestamp":1652194351000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9108605\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7]]},"references-count":52,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tase.2020.2993376","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7]]}}}