LIN, Junting; XU, Qian. Functional safety verification of train control procedure in train-centric CBTC by colored petri net. Archives of Transport, Warsaw, Poland, v. 54, n. 2, p. 43–58, 2024. DOI: 10.5604/01.3001.0014.2730. Disponível em: https://www.archivesoftransport.com/index.php/aot/article/view/194.. Acesso em: 21 jul. 2024.