Barik, R.; Santara, K.; Ghosh, R.; Sarkar, P. A Petri-Net Based Representation of Automated Railway Signalling System With Collision Avoidance. Int. J. Comp. Sci. Eng. 2025, 5, 290-295.