{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T18:40:10Z","timestamp":1754073610195,"version":"3.41.2"},"reference-count":10,"publisher":"IEEE","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/icsrs.2018.8688869","type":"proceedings-article","created":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T18:26:22Z","timestamp":1555352782000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Test Case Generation Method Based on Colored Petri Net for Train Control System"],"prefix":"10.1109","author":[{"given":"Chen","family":"Lijie","sequence":"first","affiliation":[{"name":"China Academy of Railway Science, Standards & Metrology Research Institute, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhao","family":"Tianshi","sequence":"additional","affiliation":[{"name":"China Academy of Railway Science, Standards & Metrology Research Institute, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sun","family":"Chao","sequence":"additional","affiliation":[{"name":"China Academy of Railway Science, Standards & Metrology Research Institute, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"He","family":"Hongyang","sequence":"additional","affiliation":[{"name":"ASBL, Multitel, Mons, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"44","article-title":"Multi-port Based Automatic Formal Testing Generation and Its Application in CTCS-3 Level Onboard System","volume":"33","author":"zhao","year":"2011","journal-title":"Journal of the china railway society"},{"key":"ref3","first-page":"100","article-title":"The Method for the Optimal Generation of Test Sequence for CTCS-3 On-Board Equipment","volume":"32","author":"zhang","year":"2011","journal-title":"China Railway Science"},{"journal-title":"CTCS-3 level Train-control system test case (v3 0) TJDW124-2009","year":"0","key":"ref10"},{"key":"ref6","first-page":"37","article-title":"Application of SCADE in ATP software modeling for Urban Transit","volume":"23","author":"bai","year":"2014","journal-title":"Railway computer application"},{"key":"ref5","first-page":"55","article-title":"Research on Model-based Test Case Generation Method of Onboard Subsystem in CTCS-3","volume":"36","author":"yuan","year":"2014","journal-title":"Journal of the china railway society"},{"journal-title":"Technical Specification for CTCS-3 level Train-control On-board Equipment (Provisional) TJDW205-2018","year":"0","key":"ref8"},{"journal-title":"CPN ASK-CTL Manual [EB\/OL]","year":"1996","key":"ref7"},{"journal-title":"Applied Graph Theory","year":"2010","author":"xu","key":"ref2"},{"journal-title":"CTCS-3 level Train-control system requirement specification (v1 0) TJDW113-2008","year":"0","key":"ref9"},{"key":"ref1","first-page":"75","article-title":"Optimization Test Sequence of CTCS-3 On-Board Equipment","volume":"34","author":"li","year":"2010","journal-title":"Journal of Beijing Jiaotong University"}],"event":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2018,11,23]]},"location":"Barcelona, Spain","end":{"date-parts":[[2018,11,25]]}},"container-title":["2018 3rd International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8672656\/8688712\/08688869.pdf?arnumber=8688869","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T18:11:53Z","timestamp":1754071913000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8688869\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icsrs.2018.8688869","relation":{},"subject":[],"published":{"date-parts":[[2018,11]]}}}