Barik, R, K Santara, R Ghosh, and P Sarkar. “A Petri-Net Based Representation of Automated Railway Signalling System With Collision Avoidance”. International Journal of Computer Sciences and Engineering 5, no. 12 (November 12, 2025): 290–295. Accessed February 2, 2026. https://ijcse.isroset.org/index.php/j/article/view/1804.