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