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

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

Suparna Karmakar¹     Trishita Ghosh²      Moumita Das³             Chowdhury Md. Mizan⁴ 

Sanju Ghosh⁵       Soumyajit Banerjee⁶ 

^{1 2 3 4} Asst. Prof.,Information Technology, Guru Nanak Institute of Technology

^{5 6}Student, Information Technology, Guru Nanak Institute of Technology

Abstract— 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.

Keywords—Petri Net, Time Petri Net, Information System, Automated Controller, Reachability Analysis.