Topology Based Automatic TAPN Model Generation For Railway Systems

GALIP, CANSEVER and IBRAHIM, SENER and ILKER, USTOGLU and MUHAMMED, ALI NUR OZ and OZGUR, TURAY KAYMAKC (2014) Topology Based Automatic TAPN Model Generation For Railway Systems. In: International Conference on Advances in Mechanical and Automation Engineering - MAE 2014, 07 - 08 June,2014, London, UK.

20140711_044524.pdf - Published Version

Download (894kB) | Preview
Official URL:


The use of formal methods in modeling and designing of railway transportation system is strongly recommended by CENELEC EN 50128 standart. Nowadays, the development of formal models of railway systems is completely performed manually. In this study, a software tool was developed by using C# programming language for automatic generation of the formal models of railway stations. The specially developed software tool generates the Timed-Arc Petri Net models, which is a formal method and highly recommended by the relevant standart, of the station components separately from the station topology.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: formal methods; railway; automatic generation; station topology
Depositing User: Mr. John Steve
Date Deposited: 18 May 2019 12:23
Last Modified: 20 May 2019 08:54

Actions (login required)

View Item View Item