Lin, J.; Xu, Q. Functional Safety Verification of Train Control Procedure in Train-Centric CBTC by Colored Petri Net. AoT 2024, 54 (2), 43-58. https://doi.org/10.5604/01.3001.0014.2730.