R. Barik, K. Santara, R. Ghosh, and P. Sarkar, “A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance”, Int. J. Comp. Sci. Eng., vol. 5, no. 12, pp. 290–295, Nov. 2025.