Barik, R, et al. “A Petri-Net Based Representation of Automated Railway Signalling System With Collision Avoidance”. International Journal of Computer Sciences and Engineering, vol. 5, no. 12, Nov. 2025, pp. 290-5, doi:10.26438/ijcse/v5i12.290295.