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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatic generation of Petri Net supervisors for railway interlocking design


    Beteiligte:


    Erscheinungsdatum :

    01.11.2012


    Format / Umfang :

    446505 byte



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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

    Somsak Vanit-Anunchai | DOAJ | 2014

    Freier Zugriff

    Experience using Coloured Petri Nets to Model Railway Interlocking Tables

    Vanit-Anunchai, Somsak | ArXiv | 2014

    Freier Zugriff

    Automatic instantiation for railway interlocking systems

    Banci, M. / Gnesi, S. | Tema Archiv | 2007