A Study of Railway Interlocking Logic Modelling Based on Petri Net

被引：0

作者：

Kang B. ^{[1
]}

Lee J. ^{[1
]}

机构：

[1] Dept. of Railway Electrical Signaling Engineering, Graduate School of Railway, Seoul National University of Science and Technology

来源：

Transactions of the Korean Institute of Electrical Engineers | 2023年 / 72卷 / 11期

关键词：

Formal Method; Interlocking logic; Modelling; Petri net; Railway signal;

D O I：

10.5370/KIEE.2023.72.11.1575

中图分类号：

学科分类号：

摘要：

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. Copyright © The Korean Institute of Electrical Engineers.

引用

页码：1575 / 1580

页数：5

共 15 条

[1]

Peterson James L., Petri Net Theory And The Modeling of System, (1981)

[2]

Ahn Jin, Lee Jongwoo, Study on Z specification for S/W Safety of Computer Based Interlocking Systems, Journal of the Korean Society for Railway, 20, 1, pp. 55-63, (2017)

[3]

The Integrated Petri Net combining the discrete event system modeling with the operating PLC modeling, International Journal of Control, Automation, and Systems, 5, 4, pp. 29-41, (1999)

[4]

Kong Sung Hak, Suh Il Hong, Design of A Petrinet-based Supervisory Control System, THE TRANSACTION OF THE KOREAN INSTITUTE OF ELECTRICAL ENGINEERS D, 54D, 8, pp. 486-494, (2005)

[5]

Uzam Murat, Asynchronous implementation of discrete event controllers based on safe automation Petri nets, The International Journal of Advanced Manufacturing Technology, 41, 4, pp. 595-612, (2009)

[6]

Durmus Mustafa Seckin, Synchronizing Automata and Petri Net Controllers, ELECO 2011 7th International Conference on Electrical and Electronics Engineering, (2011)

[7]

Lee Moonkun, Formal Methods, (2017)

[8]

Systems and software engineering -High-level Petri nets - Part 1: Concepts, definitions and graphical notation, (2019)

[9]

Systems and software engineering - High-level Petri nets - Part 2: Transfer format, (2011)

[10]

Systems and software engineering - High-level Petri nets - Part 3: Extensions and structuring mechanisms, (2021)

← 1 2 →