{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:14:04Z","timestamp":1769728444872,"version":"3.49.0"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":["61903229"],"award-info":[{"award-number":["61903229"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","award":["ZR2024MF140"],"award-info":[{"award-number":["ZR2024MF140"]}],"id":[{"id":"10.13039\/501100007129","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":[[2025,1]]},"DOI":"10.1109\/tsmc.2024.3473851","type":"journal-article","created":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T17:39:23Z","timestamp":1730137163000},"page":"453-464","source":"Crossref","is-referenced-by-count":21,"title":["A Reachability-Decidable Petri Net Modeling Method for Discrete Event Systems"],"prefix":"10.1109","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7858-7599","authenticated-orcid":false,"given":"Yue","family":"Su","sequence":"first","affiliation":[{"name":"Faculty of Innovation Engineering, Macau University of Science and Technology, Macau, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Helen and John C. Hartmann Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0762-5607","authenticated-orcid":false,"given":"Liang","family":"Qi","sequence":"additional","affiliation":[{"name":"College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6829-2263","authenticated-orcid":false,"given":"Remigiusz","family":"Wi\u015bniewski","sequence":"additional","affiliation":[{"name":"Institute of Control and Computation Engineering, University of Zielona Góra, Zielona Góra, Lubusz, Poland"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1142\/3376"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/9781119578314"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2855685"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/9781119619727"},{"key":"ref6","volume-title":"System Modeling and Control with Resource-Oriented Petri Nets","author":"Wu","year":"2010"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2625324"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2613598"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INFOTEH57020.2023.10094203"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2894778"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2020.3035668"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65306-6_19"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SMC53992.2023.10394156"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2226878"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-017-9446-3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2791527"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2186440"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCASM.2010.5622322"},{"key":"ref20","first-page":"323","article-title":"Deciding substitutability of Web services with Petri Net reduction techniques","volume-title":"Proc. IEEE\/ACIS Int. Conf. Comput. Inf. Sci.","author":"Guo"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.9746\/sicetr1965.29.1458"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1996.573746"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ChiCC.2015.7260676"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3009984"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CASE49439.2021.9551438"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.34768\/amcs-2021-0045"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1989.68561"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2023.3246384"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2023.3241101"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.1994.333111"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2038068"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1177\/0020294020923375"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2433892"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3084902"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TBDATA.2023.3319252"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3272983"},{"key":"ref37","volume-title":"Matrix Methods","author":"Richard","year":"2021"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1974.1100523"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ccwc51732.2021.9376131"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2531673"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/66.705370"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2022.106109"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3063699"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3027532"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TCSS.2022.3164052"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853508"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TCSS.2021.3132355"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3029737"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3302333"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.2983672"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2677859"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2598303"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6221021\/10805216\/10736656.pdf?arnumber=10736656","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T19:40:19Z","timestamp":1734550819000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10736656\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1]]},"references-count":52,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2024.3473851","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1]]}}}