{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:15:31Z","timestamp":1740100531193,"version":"3.37.3"},"reference-count":11,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T00:00:00Z","timestamp":1639699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T00:00:00Z","timestamp":1639699200000},"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","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,17]]},"DOI":"10.1109\/safeprocess52771.2021.9693729","type":"proceedings-article","created":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T20:50:05Z","timestamp":1643748605000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Railway Accident Analysis Based on Colored Petri Nets"],"prefix":"10.1109","author":[{"given":"Xieting","family":"Li","sequence":"first","affiliation":[{"name":"Beijing Jiaotong University,National Research Center of Railway Safety Assessment,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daohua","family":"Wu","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University,National Research Center of Railway Safety Assessment,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33678-2_32"},{"key":"ref3","first-page":"1247","article-title":"An AcciMap analysis on the China-Yongwen railway accident[M]\/\/Engineering Asset Management-Systems, Professional Practices and Certification","author":"chen","year":"2015"},{"journal-title":"Eur Committee Electrotech Std (CENELEC)","article-title":"Railway applications—Communications, signalling and processing systems—Software for railway control and protection systems","year":"2001","key":"ref6"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/b95112","article-title":"Coloured Petri Nets: Modelling and Validation of Concurrent Systems","author":"jensen","year":"2009"},{"key":"ref5","article-title":"Research on Railway Accident Analysis Based on FRAM [D]","author":"dawei","year":"2018","journal-title":"Beijing Jiaotong University"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2535418"},{"key":"ref8","article-title":"Research on Hybrid Accident Causes Model of High-speed Railway Operation Control System [D]","author":"chenling","year":"2019","journal-title":"Beijing Jiaotong University"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2015.06.017"},{"journal-title":"Contemporary China Railway Signal (2006-2010) [M]","article-title":"Railway Signals in Contemporary China (2006-2010), Editorial Board","year":"2013","key":"ref1"},{"year":"2011","key":"ref9","article-title":"The investigation report on the “7.23” Yongwen line major railway accident"}],"event":{"name":"2021 CAA Symposium on Fault Detection, Supervision, and Safety for Technical Processes (SAFEPROCESS)","start":{"date-parts":[[2021,12,17]]},"location":"Chengdu, China","end":{"date-parts":[[2021,12,18]]}},"container-title":["2021 CAA Symposium on Fault Detection, Supervision, and Safety for Technical Processes (SAFEPROCESS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9693491\/9693537\/09693729.pdf?arnumber=9693729","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,25]],"date-time":"2023-01-25T13:58:14Z","timestamp":1674655094000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9693729\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,17]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/safeprocess52771.2021.9693729","relation":{},"subject":[],"published":{"date-parts":[[2021,12,17]]}}}