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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automatic generation of Petri Net supervisors for railway interlocking design


    Contributors:


    Publication date :

    2012-11-01


    Size :

    446505 byte



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY

    Ingram, S. / Hossain, M. A. / Cox, S. et al. | British Library Conference Proceedings | 2005


    A model pattern of railway interlocking system by Petri nets

    Sun, Pengfei / Collart-dutilleul, Simon / Bon, Philippe | IEEE | 2015



    Experience using Coloured Petri Nets to Model Railway Interlocking Tables

    Vanit-Anunchai, Somsak | ArXiv | 2014

    Free access

    Modeling a distributed railway interlocking system with object-oriented Petri nets

    Hei, X. / Mochizuki, H. / Takahashi, S. et al. | British Library Conference Proceedings | 2006