Barik, R. et al. 2025. A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance. International Journal of Computer Sciences and Engineering. 5, 12 (Nov. 2025), 290–295. DOI:https://doi.org/10.26438/ijcse/v5i12.290295.