| Title |
A Study of Railway Interlocking Logic Modelling Based on Petri Net |
| Authors |
강병욱(Byungwook Kang) ; 이종우(Jongwoo Lee) |
| DOI |
https://doi.org/10.5370/KIEE.2023.72.11.1575 |
| Keywords |
Formal Method; Petri net; Interlocking logic; Railway signal; Modelling |
| Abstract |
In Railway, The interlocking is safety essential systems, and if it malfunction, they can cause major accidents, so high safety requirements must be met. In order to prevent interlock design errors and verify safety, the need for research on the introduction of formal methods has been raised, and in the case of Europe, projects for standardization are underway. This paper modeled the interlocking logic for signal, point machine, and routes configuration by applying the Petrinet model, one of the formal methods, and verified the safety of interlocking devices. |