Title :
Research on the Railway Safety Critical System with Petri nets
Author :
Guo, Jin ; Huang, Zhongzi ; Liu, Mingyuan
Author_Institution :
Sch. of Inf. Sci. & Technol., Southwest Jiaotong Univ., Chengdu
Abstract :
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
Keywords :
Petri nets; performance evaluation; railway safety; signalling; 2 times 2 voting system; HLPN; high level Petri net model; performance evaluation; railway signaling safety critical system; system reliability; Fires; Mathematical model; Microcomputers; Petri nets; Rail transportation; Railway safety; Relays; Signal analysis; Space technology; Voting;
Conference_Titel :
ITS Telecommunications Proceedings, 2006 6th International Conference on
Conference_Location :
Chengdu
Print_ISBN :
0-7803-9587-5
Electronic_ISBN :
0-7803-9587-5
DOI :
10.1109/ITST.2006.288794
