Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Computational Methods in Systems and Software, CoMeSySo 2019

Год издания: 2019

Идентификатор DOI: 10.1007/978-3-030-30329-7_17

Ключевые слова: Ks-signaling system, Railway signaling, Timed arc Petri nets

Аннотация: This paper describes a model for railway signals in the context of interlocking. Since the design and construction of the software models shall be obtained in a formal way, the models were created using Petri nets to allow automatic verification and validation. A generic model for railway signals was designed and further utilized fПоказать полностьюor the German railway signaling systems (The Ks signaling system). Simplified Petri net models for points, track segments and signals are given as a frame. The obtained models are also applied to a real station layout. © Springer Nature Switzerland AG 2019.

Журнал: Advances in Intelligent Systems and Computing

Выпуск журнала: Vol. 1046

Номера страниц: 174-188

ISSN журнала: 21945357

Издатель: Springer

• Üstoğlu İ. (Control and Automation Engineering Department, Yildiz Technical University, Istanbul, Turkey)
• Töpel D. (Sheffield Hallam University, Sheffield, United Kingdom)
• Durmus M.S. (Sadenco (Safe, Dependable Engineering and Consultancy), Antalya, Turkey)
• Tsarev R.Y. (Department of Informatics, Siberian Federal University, Krasnoyarsk, Russian Federation)
• Zhigalov K.Y. (V.A. Trapeznikov Institute of Control Sciences of Russian Academy of Sciences, Moscow, Russian Federation, Moscow Technological Institute, Moscow, Russian Federation)

• Scopus
• Web of Science Core Collection
• Ядро РИНЦ (eLIBRARY.RU)