{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T12:33:03Z","timestamp":1781094783965,"version":"3.54.1"},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"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\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62002013"],"award-info":[{"award-number":["62002013"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Inner Mongolia Science and Technology Project","award":["2021GG0155"],"award-info":[{"award-number":["2021GG0155"]}]},{"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":[[2024,7]]},"DOI":"10.1109\/tcad.2024.3355708","type":"journal-article","created":{"date-parts":[[2024,1,18]],"date-time":"2024-01-18T18:31:50Z","timestamp":1705602710000},"page":"2112-2125","source":"Crossref","is-referenced-by-count":6,"title":["A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net"],"prefix":"10.1109","volume":"43","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 National and Local Joint Engineering Research Center of Intelligent Information Processing Technology for Mongolian, the Engineering Research Center of Ecological Big Data, the Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, the Inner Mongolia Key Laboratory of Social Computing and Data Processing, 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 National and Local Joint Engineering Research Center of Intelligent Information Processing Technology for Mongolian, the Engineering Research Center of Ecological Big Data, the Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, the Inner Mongolia Key Laboratory of Social Computing and Data Processing, 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 National and Local Joint Engineering Research Center of Intelligent Information Processing Technology for Mongolian, the Engineering Research Center of Ecological Big Data, the Ministry of Education, the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software, the Inner Mongolia Key Laboratory of Social Computing and Data Processing, 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-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"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0772-1738","authenticated-orcid":false,"given":"Zonghui","family":"Li","sequence":"additional","affiliation":[{"name":"Beijing Key Laboratory of Transportation Data Analysis and Mining, School of Computer and Information Technology, Beijing Jiaotong University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1201\/9781315217512"},{"key":"ref2","volume-title":"SAE AS6802 Time-Triggered Ethernet","year":"2016"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2011.5741898"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2022.3184069"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1155\/2018\/8589343"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380518"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2021.1003844"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/indin.2013.6622959"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/IFIPNetworking52078.2021.9472830"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2019.00046"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/NetSys.2019.8854500"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2019.8704633"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2023.3277812"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247817"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415715"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA-BDCloud-SustainCom-SocialCom48970.2019.00086"},{"key":"ref18","volume-title":"ISO\/IEC 15909 Systems and Software Engineering\u2014High-Level Petri Nets","year":"2019"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2019.1911486"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2531673"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2912919"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2034837"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194013400111"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCSS.2022.3164052"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2019.8743244"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.2991\/iceeecs-16.2016.182"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2013.8335.8342"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/icieam.2017.8076387"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015131814255"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2002.1003810"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_28"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-020-09539-6"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/BDCloud.2018.00074"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2258907"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2948986"},{"key":"ref36","volume-title":"Design\/CPN ASK-CTL manual university of Aarhus","author":"Munkegade","year":"1996"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/NetSys.2019.8854489"},{"key":"ref38","first-page":"1","article-title":"Zonal EE architecture: Towards a fully automotive ethernet-based vehicle infrastructure","volume-title":"Proc. Autom. E\/E Archit. Technol. Innov. Conf.","author":"Klaus-Wagenbrenner"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/10564796\/10404013.pdf?arnumber=10404013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T22:35:32Z","timestamp":1733956532000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10404013\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":38,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2024.3355708","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7]]}}}