BARIK, R; SANTARA, K; GHOSH, R; SARKAR, P. A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance. International Journal of Computer Sciences and Engineering, [S. l.], v. 5, n. 12, p. 290–295, 2025. DOI: 10.26438/ijcse/v5i12.290295. Disponível em: https://ijcse.isroset.org/index.php/j/article/view/1804. Acesso em: 2 feb. 2026.