{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T09:45:14Z","timestamp":1781343914472,"version":"3.54.1"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"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":["62062052"],"award-info":[{"award-number":["62062052"]}],"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":["62162046"],"award-info":[{"award-number":["62162046"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100019054","name":"Inner Mongolia Science and Technology Project","doi-asserted-by":"publisher","award":["2021GG0155"],"award-info":[{"award-number":["2021GG0155"]}],"id":[{"id":"10.13039\/501100019054","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Natural Science Foundation of Major Research Plan of Inner Mongolia","award":["2019ZD15"],"award-info":[{"award-number":["2019ZD15"]}]},{"DOI":"10.13039\/501100004763","name":"Natural Science Foundation of Inner Mongolia Autonomous Region","doi-asserted-by":"publisher","award":["2019GG372"],"award-info":[{"award-number":["2019GG372"]}],"id":[{"id":"10.13039\/501100004763","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1109\/tcad.2024.3515857","type":"journal-article","created":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T17:36:10Z","timestamp":1733938570000},"page":"2328-2342","source":"Crossref","is-referenced-by-count":3,"title":["A Reduced State-Space Generation Method for Concurrent Systems Based on CPN-PR Model"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2508-2108","authenticated-orcid":false,"given":"Wenjie","family":"Zhong","sequence":"first","affiliation":[{"name":"College of Computer Science, the Engineering Research Center of Ecological Big Data, Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, and the Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Inner Mongolia University, Hohhot, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tao","family":"Sun","sequence":"additional","affiliation":[{"name":"College of Computer Science, the Engineering Research Center of Ecological Big Data, Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, and the Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Inner Mongolia University, Hohhot, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7066-9282","authenticated-orcid":false,"given":"Jian-Tao","family":"Zhou","sequence":"additional","affiliation":[{"name":"College of Computer Science, the Engineering Research Center of Ecological Big Data, Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, and the Inner Mongolia Engineering Laboratory for Big Data Analysis Technology, Inner Mongolia University, Hohhot, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhuowei","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Guangdong University of Technology, Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6583-9400","authenticated-orcid":false,"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Portland State University, Portland, OR, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2707089"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0058022"},{"key":"ref3","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.7146\/dpb.v26i519.7048"},{"key":"ref5","volume-title":"Design\/CPN ASK-CTL Manual","author":"Munkegade","year":"1996"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3355708"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2020.06.011"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3561159"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-24950-1_7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3034799"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3233\/FI-222148"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2258907"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/BDCloud.2018.00074"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI59109.2023.00063"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102532"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS55811.2022.00018"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-29476-1_3"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-92124-8_17"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3129161"},{"key":"ref22","volume-title":"Petri Net Theory and Modelling of Systems","author":"Peterson","year":"1981"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2912919"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194013400111"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-67067-2_9"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-65955-4_8"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-020-00358-3"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CoDIT55151.2022.9803922"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.31577\/cai_2021_1_195"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom\/BigDataSE.2018.00036"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_28"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/11007940\/10793419.pdf?arnumber=10793419","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T19:00:05Z","timestamp":1764010805000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10793419\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6]]},"references-count":31,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2024.3515857","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6]]}}}