Yayın:
Obtaining Generic Petri Net Models of Railway Signaling Equipment

Basit öğe sayfası
dc.contributor.authorUstoglu, Ilker
dc.contributor.authorTopel, Daniel
dc.contributor.authorDurmus, Mustafa Seckin
dc.contributor.authorTsarev, Roman Yurievich
dc.contributor.authorZhigalov, Kirill Yurievich
dc.date.accessioned2026-06-27T14:26:28Z
dc.date.issued2019
dc.description.abstractThis 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.en
dc.description.urihttps://doi.org/10.1007/978-3-030-30329-7_17
dc.identifier.doi10.1007/978-3-030-30329-7_17
dc.identifier.eissn2194-5365
dc.identifier.endpage188
dc.identifier.isbn978-3-030-30329-7; 978-3-030-30328-0
dc.identifier.issn2194-5357
dc.identifier.startpage174
dc.identifier.urihttps://hdl.handle.net/20.500.14981/60650
dc.identifier.volume1046
dc.identifier.wos000564759600017
dc.language.isoeng
dc.publisherSPRINGER INTERNATIONAL PUBLISHING AG
dc.relation.conference3rd Conference on Computational Methods in Systems and Software (CoMeSySo)
dc.relation.ispartofINTELLIGENT SYSTEMS APPLICATIONS IN SOFTWARE ENGINEERING, VOL 1
dc.subjectRailway signaling
dc.subjectKs-signaling system
dc.subjectTimed arc Petri nets
dc.subjectNETWORKS
dc.subjectComputer Science
dc.titleObtaining Generic Petri Net Models of Railway Signaling Equipment
dc.typeProceedings Paper
dspace.entity.typePublication
local.import.sourceWOS

Dosyalar

Koleksiyonlar

Yayınlar