Research on the Railway Safety Critical System with Petri nets

The structure of the 2 times 2 voting system is often used in railway signaling safety critical system such as computerized interlocking system. In this paper, the modeling method for the structure of 2 times 2 voting system with HLPN nets was studied based on the Petri theory, and the performance of the system was discussed and evaluated. From the performance evaluation, the system designer will be clearer for the system performance and the factors with which the systems are affected. The method highlighted above will be beneficial for the modeling and analysis of railway signaling system for the purpose of safety and reliability and may be applied for other system