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. [Internet]. 2025 Nov. 12 [cited 2026 Feb. 2];5(12):290-5. Available from: https://ijcse.isroset.org/index.php/j/article/view/1804