A platform for research: civil engineering, architecture and urbanism
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.
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.
Research on the Railway Safety Critical System with Petri nets
Guo, Jin (author) / Huang, Zhongzi (author) / Liu, Mingyuan (author)
2006-06-01
4061213 byte
Conference paper
Electronic Resource
English
System Modelling with Petri Nets
Springer Verlag | 1990
|A Petri nets based decision support tool for railway traffic conflicts forecasting and resolution
British Library Conference Proceedings | 2008
|