Petri Net Based Design of Auto-Signaling Framework in Railway Network

In this work a Time Petri Net based approach has been proposed to build the automatic signaling system in Railway Network. Petri Net is a powerful tool that provides a formal mathematical modeling approach to demonstrate any Information System. In this work a variation of traditional place-transition net has been used to model the automatic signal system management in railway track and which also encompasses the safety measure in crossing region also. A state-oriented modelling approach has been adopted to demonstrate the controlling of railway track.Proposed system also notifies the Railway stations and Train engine about the situation of rail way tracks, so that trains can switch to another railroad accordingly.Finally, the proposed model has been verified using the reachability analysis of time petri net to ensure the safe and deadlock freeness of the proposed system.