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

^*Bu çalışma için yazışmadan sorumlu yazar

Araştırma sonucu: Kitap/Rapor/Konferans Bildirisinde Bölüm › Konferans katkısı › bilirkişi

Özet

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.

Orijinal dil	İngilizce
Ana bilgisayar yayını başlığı	Intelligent Systems Applications in Software Engineering - Proceedings of 3rd Computational Methods in Systems and Software, CoMeSySo 2019
Editörler	Radek Silhavy, Petr Silhavy, Zdenka Prokopova
Yayınlayan	Springer
Sayfalar	174-188
Sayfa sayısı	15
ISBN (Basılı)	9783030303280
DOI'lar	https://doi.org/10.1007/978-3-030-30329-7_17
Yayın durumu	Yayınlandı - 2019
Harici olarak yayınlandı	Evet
Etkinlik	3rd Computational Methods in Systems and Software, CoMeSySo 2019 - Zlin, Czech Republic Süre: 10 Eyl 2019 → 12 Eyl 2019

Yayın serisi

Adı	Advances in Intelligent Systems and Computing
Hacim	1046
ISSN (Basılı)	2194-5357
ISSN (Elektronik)	2194-5365

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	3rd Computational Methods in Systems and Software, CoMeSySo 2019
Ülke/Bölge	Czech Republic
Şehir	Zlin
Periyot	10/09/19 → 12/09/19

Bibliyografik not

Publisher Copyright:
© Springer Nature Switzerland AG 2019.

Belgeye Erişim

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

Diğer Dosyalar ve Linkler

Link to publication in Scopus

Alıntı Yap

Ü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; Hac. 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. editör / 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, hac. 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; Hac. 1046).

Araştırma sonucu: Kitap/Rapor/Konferans Bildirisinde Bölüm › Konferans katkısı › bilirkişi

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, editörler, 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

Özet

Yayın serisi

???event.eventtypes.event.conference???

Bibliyografik not

Belgeye Erişim

Diğer Dosyalar ve Linkler

Parmak izi

Alıntı Yap