Research on formal models of railway signal interlocking logics
Chen Bang · Journal of the China Railway Society · 2002
Formalization of railway station signal interlocking logics is both important to the development of computer interlocking software and to the third part testing of the computer interlocking software. The interlocking logics of a large station may be very complex, and the formalization of it is a very hard work. There are no papers and reports about this filed in China and on abroad at present. This paper introduces a basic way to the formalization of railway station signal interlocking logics by using hierarchical coloured Petri nets, which aim at establishing a environment simulation for the third part testing of computer interlocking software.