Lin, Junting, and Qian Xu. “Functional Safety Verification of Train Control Procedure in Train-Centric CBTC by Colored Petri Net”. Archives of Transport 54, no. 2 (February 6, 2024): 43–58. Accessed May 15, 2024. https://www.archivesoftransport.com/index.php/aot/article/view/194.