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