{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T11:31:41Z","timestamp":1768563101693,"version":"3.49.0"},"reference-count":49,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"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":["62262063"],"award-info":[{"award-number":["62262063"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Project of Key Science Foundation of Yunnan Province","award":["202101AS070007"],"award-info":[{"award-number":["202101AS070007"]}]},{"name":"Expert Workstation of Yunnan Province","award":["202105AF150013"],"award-info":[{"award-number":["202105AF150013"]}]},{"name":"Basic Research Project in Yunnan Province","award":["202001BB050031"],"award-info":[{"award-number":["202001BB050031"]}]},{"name":"Taishan Scholars Program of Shandong Province","award":["tsqn201909109"],"award-info":[{"award-number":["tsqn201909109"]}]},{"name":"Natural Science Excellent Youth Foundation of Shandong Province","award":["ZR2021YQ45"],"award-info":[{"award-number":["ZR2021YQ45"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1109\/tsmc.2023.3321060","type":"journal-article","created":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T17:55:21Z","timestamp":1697824521000},"page":"800-812","source":"Crossref","is-referenced-by-count":7,"title":["Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets"],"prefix":"10.1109","volume":"54","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3438-5303","authenticated-orcid":false,"given":"Qi","family":"Mo","sequence":"first","affiliation":[{"name":"School of Software, Yunnan University, Kunming, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-5268-0513","authenticated-orcid":false,"given":"Jianeng","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Software, Yunnan University, Kunming, China"}]},{"given":"Chengting","family":"Jiang","sequence":"additional","affiliation":[{"name":"College of Basic Medicine, Yunnan University of Chinese Medicine, Kunming, China"}]},{"given":"Zhongwen","family":"Xie","sequence":"additional","affiliation":[{"name":"Center for Big Data Research on Culture and Tourism, Taishan University, Tai’an, 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-0001-6469-357X","authenticated-orcid":false,"given":"Fei","family":"Dai","sequence":"additional","affiliation":[{"name":"School of Big Data and Intelligent Engineering, Southwest Forestry University, Kunming, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2330555"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2838053"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2906335"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlp.2008.01.006"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1515\/cait-2016-0038"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53863-1_36"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2018.09.002"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2242465"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.09.030"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2014.44"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3390\/app12094772"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2009.2009125"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2014.986215"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2015.12.003"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1155\/2021\/7965935"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-71560-3_1","volume-title":"Dynamic Analysis of Petri Net-Based Discrete Systems","volume":"356","author":"Karatkevich","year":"2007"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54900-7_52"},{"key":"ref19","volume-title":"Application of Hypergraphs in Decomposition of Discrete Systems","volume":"23","author":"Wi\u015bniewska","year":"2012"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2014.6860478"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2692204"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2003.814503"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.811771"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.819490"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2022.11.052"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2617331"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2601094"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2018.2821685"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63139-9_48"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.1998.657557"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.08.004"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2019.2961346"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-47919-2_8"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/44.4.246"},{"issue":"1","key":"ref37","first-page":"51","article-title":"Workflow soundness verification based on structure theory of Petri nets","volume":"5","author":"Barkaoui","year":"2017","journal-title":"Int. J. Comput. Inf. Sci."},{"key":"ref38","first-page":"30","article-title":"A structural verification of Web services composition compatibility","volume-title":"Proc. 6th Int. Workshop Enterprise Org. Model. Simulat.","author":"Barkaoui"},{"key":"ref39","volume-title":"Introduction to Algorithms","author":"Leiserson","year":"1994"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2010100101"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2889715"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2015.2413401"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111007"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2019.8926908"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2531673"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2014.6860481"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2836858"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/10403398\/10288323.pdf?arnumber=10288323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,19]],"date-time":"2024-01-19T18:13:25Z","timestamp":1705688005000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10288323\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2]]},"references-count":49,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2023.3321060","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,2]]}}}