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 April 2, 2025. https://archivesoftransport.com/index.php/aot/article/view/194.