Petri Net based modelling of railway intersection collision avoidance system
Samriddhi Sarkar, Animesh Dutta · 2016
Operational conflicts are inevitable in today's distributed, complex and over-constrained railway network. A railway network is said to be safe when all the trains get to use the resources without any conflicts. This paper proposes a multi-agent based modelling of intersection collision avoidance technique for the trains, passing through the intersection. Petri nets (PN), a mathematical tool, is used here to model the claimed system keeping in mind the concurrent and dynamic nature of the railway system. To verify properties such as reachability, liveness, boundedness of the proposed system, reachability tree, invariants, state equation are used.