Lin J, Xu Q. Functional safety verification of train control procedure in train-centric CBTC by colored petri net. AoT [Internet]. 2024 Feb. 6 [cited 2024 May 15];54(2):43-58. Available from: https://www.archivesoftransport.com/index.php/aot/article/view/194