Obtaining Generic Petri Net Models of Railway Signaling Equipment

İlker Üstoğlu; Daniel Töpel; Mustafa Seckin Durmus; Roman Yurievich Tsarev; Kirill Yurievich Zhigalov

doi:10.1007/978-3-030-30329-7_17

Obtaining Generic Petri Net Models of Railway Signaling Equipment

İlker Üstoğlu, Daniel Töpel, Mustafa Seckin Durmus, Roman Yurievich Tsarev^*, Kirill Yurievich Zhigalov

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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 for 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.

Original language	English
Title of host publication	Intelligent Systems Applications in Software Engineering - Proceedings of 3rd Computational Methods in Systems and Software, CoMeSySo 2019
Editors	Radek Silhavy, Petr Silhavy, Zdenka Prokopova
Publisher	Springer
Pages	174-188
Number of pages	15
ISBN (Print)	9783030303280
DOIs	https://doi.org/10.1007/978-3-030-30329-7_17
Publication status	Published - 2019
Externally published	Yes
Event	3rd Computational Methods in Systems and Software, CoMeSySo 2019 - Zlin, Czech Republic Duration: 10 Sept 2019 → 12 Sept 2019

Publication series

Name	Advances in Intelligent Systems and Computing
Volume	1046
ISSN (Print)	2194-5357
ISSN (Electronic)	2194-5365

Conference

Conference	3rd Computational Methods in Systems and Software, CoMeSySo 2019
Country/Territory	Czech Republic
City	Zlin
Period	10/09/19 → 12/09/19

Bibliographical note

Publisher Copyright:
© Springer Nature Switzerland AG 2019.

Keywords

Ks-signaling system
Railway signaling
Timed arc Petri nets

Access to Document

10.1007/978-3-030-30329-7_17

Cite this

Üstoğlu, İ., Töpel, D., Durmus, M. S., Tsarev, R. Y., & Zhigalov, K. Y. (2019). Obtaining Generic Petri Net Models of Railway Signaling Equipment. In R. Silhavy, P. Silhavy, & Z. Prokopova (Eds.), Intelligent Systems Applications in Software Engineering - Proceedings of 3rd Computational Methods in Systems and Software, CoMeSySo 2019 (pp. 174-188). (Advances in Intelligent Systems and Computing; Vol. 1046). Springer. https://doi.org/10.1007/978-3-030-30329-7_17

Üstoğlu, İlker ; Töpel, Daniel ; Durmus, Mustafa Seckin et al. / Obtaining Generic Petri Net Models of Railway Signaling Equipment. Intelligent Systems Applications in Software Engineering - Proceedings of 3rd Computational Methods in Systems and Software, CoMeSySo 2019. editor / Radek Silhavy ; Petr Silhavy ; Zdenka Prokopova. Springer, 2019. pp. 174-188 (Advances in Intelligent Systems and Computing).

@inproceedings{e9a919935651499bb43c053a7a2fad46,

title = "Obtaining Generic Petri Net Models of Railway Signaling Equipment",

abstract = "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 for 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.",

keywords = "Ks-signaling system, Railway signaling, Timed arc Petri nets",

author = "İlker {\"U}stoğlu and Daniel T{\"o}pel and Durmus, {Mustafa Seckin} and Tsarev, {Roman Yurievich} and Zhigalov, {Kirill Yurievich}",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2019.; 3rd Computational Methods in Systems and Software, CoMeSySo 2019 ; Conference date: 10-09-2019 Through 12-09-2019",

year = "2019",

doi = "10.1007/978-3-030-30329-7_17",

language = "English",

isbn = "9783030303280",

series = "Advances in Intelligent Systems and Computing",

publisher = "Springer",

pages = "174--188",

editor = "Radek Silhavy and Petr Silhavy and Zdenka Prokopova",

booktitle = "Intelligent Systems Applications in Software Engineering - Proceedings of 3rd Computational Methods in Systems and Software, CoMeSySo 2019",

address = "Germany",

}

Üstoğlu, İ, Töpel, D, Durmus, MS, Tsarev, RY & Zhigalov, KY 2019, Obtaining Generic Petri Net Models of Railway Signaling Equipment. in R Silhavy, P Silhavy & Z Prokopova (eds), Intelligent Systems Applications in Software Engineering - Proceedings of 3rd Computational Methods in Systems and Software, CoMeSySo 2019. Advances in Intelligent Systems and Computing, vol. 1046, Springer, pp. 174-188, 3rd Computational Methods in Systems and Software, CoMeSySo 2019, Zlin, Czech Republic, 10/09/19. https://doi.org/10.1007/978-3-030-30329-7_17

Obtaining Generic Petri Net Models of Railway Signaling Equipment. / Üstoğlu, İlker; Töpel, Daniel; Durmus, Mustafa Seckin et al.
Intelligent Systems Applications in Software Engineering - Proceedings of 3rd Computational Methods in Systems and Software, CoMeSySo 2019. ed. / Radek Silhavy; Petr Silhavy; Zdenka Prokopova. Springer, 2019. p. 174-188 (Advances in Intelligent Systems and Computing; Vol. 1046).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Obtaining Generic Petri Net Models of Railway Signaling Equipment

AU - Üstoğlu, İlker

AU - Töpel, Daniel

AU - Durmus, Mustafa Seckin

AU - Tsarev, Roman Yurievich

AU - Zhigalov, Kirill Yurievich

N1 - Publisher Copyright: © Springer Nature Switzerland AG 2019.

PY - 2019

Y1 - 2019

N2 - 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 for 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.

AB - 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 for 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.

KW - Ks-signaling system

KW - Railway signaling

KW - Timed arc Petri nets

UR - http://www.scopus.com/inward/record.url?scp=85075615378&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-30329-7_17

DO - 10.1007/978-3-030-30329-7_17

M3 - Conference contribution

AN - SCOPUS:85075615378

SN - 9783030303280

T3 - Advances in Intelligent Systems and Computing

SP - 174

EP - 188

BT - Intelligent Systems Applications in Software Engineering - Proceedings of 3rd Computational Methods in Systems and Software, CoMeSySo 2019

A2 - Silhavy, Radek

A2 - Silhavy, Petr

A2 - Prokopova, Zdenka

PB - Springer

T2 - 3rd Computational Methods in Systems and Software, CoMeSySo 2019

Y2 - 10 September 2019 through 12 September 2019

ER -

Üstoğlu İ, Töpel D, Durmus MS, Tsarev RY, Zhigalov KY. Obtaining Generic Petri Net Models of Railway Signaling Equipment. In Silhavy R, Silhavy P, Prokopova Z, editors, Intelligent Systems Applications in Software Engineering - Proceedings of 3rd Computational Methods in Systems and Software, CoMeSySo 2019. Springer. 2019. p. 174-188. (Advances in Intelligent Systems and Computing). doi: 10.1007/978-3-030-30329-7_17

Obtaining Generic Petri Net Models of Railway Signaling Equipment

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this