Railway fail-safe signalization and interlocking design based on automation Petri Net

Safe transportation on the railways can be achieved by the use of a reliable interlocking and signalization systems in order to provide safety on the railways so as to avoid fatal accidents. Presently, the relay based interlocking systems are being replaced by the programmable interlocking systems. It has both hardware and software aspects. Looking at the designing aspect a formal method can be used to fulfill the need of an efficient interlocking system so as to avoid the accidents caused due to manual operations. In this paper Automation Petri-Nets (APNs) which is an extension of Petri-Nets are being used to model a railway track interlocking and signalization operation systems. The obtained model can be converted into PLC ladder logic program easily so as to verify the accuracy for the chosen railway yard.