@inproceedings{51aaac83fd78447584afa51d88a4505a,
title = "Automatic generation of Petri Net supervisors for railway interlocking design",
abstract = "Interlocking design is one of the most crucial parts that provide safe travelling and transportation on railways especially in fixed block signaling systems (trains move through predetermined fixed railway blocks, where existence of a train can be determined.). In order to satisfy the requirements of CENELEC (European Committee for Electrotechnical Standardization) standards that are used for railways, formal methods such as Petri Nets are required to be used so as to decrease the possibility of logical errors. While providing these standards, Petri Net (PN) design method also brings simplicity on coding after the design stage. In this study, a Mathematica",
author = "Durmu{\c s}, \{Mustafa S.\} and Uǧur Yildirim and S{\"o}ylemez, \{Mehmet T.\}",
year = "2012",
language = "English",
isbn = "9781922107633",
series = "2012 2nd Australian Control Conference, AUCC 2012",
publisher = "IEEE Computer Society",
pages = "180--185",
booktitle = "2012 2nd Australian Control Conference, AUCC 2012",
address = "United States",
note = "2nd Australian Control Conference, AUCC 2012 ; Conference date: 15-11-2012 Through 16-11-2012",
}