{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T13:07:13Z","timestamp":1775912833198,"version":"3.50.1"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61472229"],"award-info":[{"award-number":["61472229"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61602279"],"award-info":[{"award-number":["61602279"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"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":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["71704096"],"award-info":[{"award-number":["71704096"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["31671588"],"award-info":[{"award-number":["31671588"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science and Technology Development Fund of Shandong Province of China","award":["2016ZDJS02A11"],"award-info":[{"award-number":["2016ZDJS02A11"]}]},{"name":"Science and Technology Development Fund of Shandong Province of China","award":["2014GGX101035"],"award-info":[{"award-number":["2014GGX101035"]}]},{"name":"Science and Technology Development Fund of Shandong Province of China","award":["ZR2017MF027"],"award-info":[{"award-number":["ZR2017MF027"]}]},{"name":"Taishan Scholar Climbing Program of Shandong Province"},{"name":"SDUST Research Fund","award":["2015TDJH102"],"award-info":[{"award-number":["2015TDJH102"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1109\/tsmc.2018.2838053","type":"journal-article","created":{"date-parts":[[2018,6,4]],"date-time":"2018-06-04T22:31:50Z","timestamp":1528151510000},"page":"2845-2859","source":"Crossref","is-referenced-by-count":36,"title":["Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes"],"prefix":"10.1109","volume":"50","author":[{"given":"Hua","family":"Duan","sequence":"first","affiliation":[{"name":"Department of Computer Science, Shandong University of Science and Technology, Qingdao, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5999-2126","authenticated-orcid":false,"given":"Cong","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University of Technology, Zibo, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6421-8223","authenticated-orcid":false,"given":"Qingtian","family":"Zeng","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Shandong University of Science and Technology, Qingdao, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"Mengchu","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University of Technology, Zibo, China"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2014.986215"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46170-9_1"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.04.036"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2008.11.025"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.06.006"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2293879"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.7753\/IJSEA0304.1009"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2617331"},{"key":"ref35","first-page":"345","article-title":"Woflan: A Petri-net-based workflow analyzer","volume":"35","author":"van der aalst","year":"1999","journal-title":"Syst Anal Modell Simul"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2011.07.034"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.923056"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2015EDP7397"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.09.004"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2204741"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2004.03.008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1177\/1063293X07084640"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53863-1_19"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884461"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.016"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/21.229464"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9_11"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2012.12.001"},{"key":"ref4","first-page":"335","article-title":"Interorganizational workflows: An approach based on message sequence charts and Petri nets","volume":"34","author":"van der aalst","year":"1999","journal-title":"Syst Anal Model"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406340"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1515\/cait-2016-0038"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2334276"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"768","DOI":"10.3923\/itj.2012.768.774","article-title":"Invariant decomposition conditions for Petri nets based on the index of transitions","volume":"11","author":"liu","year":"2012","journal-title":"Inf Technol J"},{"key":"ref5","first-page":"1","article-title":"A two-layered framework for the discovery of software behavior: A case study","volume":"e99","author":"liu","year":"2017","journal-title":"IEICE Trans Inf Syst"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2015.12.003"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2330555"},{"key":"ref20","first-page":"415","author":"chrzastowski-wachtel","year":"2003","journal-title":"A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90050-3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2006.253116"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510340"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2008.10.033"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510775"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(83)90029-6"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2638898"},{"key":"ref26","first-page":"2290","article-title":"Modeling and analysis for cross-organizational emergency response systems","volume":"36","author":"zeng","year":"2013","journal-title":"J Comput"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2560128"},{"key":"ref25","year":"2018","journal-title":"PipeA platform independent Petri net editor"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/9142459\/08370900.pdf?arnumber=8370900","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T17:20:17Z","timestamp":1651080017000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8370900\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8]]},"references-count":44,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2018.2838053","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8]]}}}