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© based program (PetriBox) that generates Petri Net supervisors automatically for a given sample railway yard will be described.
Automatic generation of Petri Net supervisors for railway interlocking design
2012 2nd Australian Control Conference ; 180-185
01.11.2012
446505 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY
British Library Conference Proceedings | 2005
|Experience using Coloured Petri Nets to Model Railway Interlocking Tables
DOAJ | 2014
|Experience using Coloured Petri Nets to Model Railway Interlocking Tables
ArXiv | 2014
|Automatic instantiation for railway interlocking systems
Tema Archiv | 2007
|