Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified. It is well-known that designing and verifying the interlocking tables are labour intensive, tedious and prone to errors. To assist the verification process and detect errors rapidly, we formally model and analyse the interlocking tables using Coloured Petri Nets (CPNs). Although a large interlocking table can be easily modelled, analysing the model is rather difficult due to the state explosion problem and undesired safe deadlocks. The safe deadlocks are when no train collides but the train traffic cannot proceed any further. For ease of analysis we incorporate automatic route setting and automatic route cancelling functions into the model. These help reducing the number of the deadlocks. We also exploit the new features of CPN Tools; prioritized transitions; inhibitor arcs; and reset arcs. These help reducing the size of the state spaces. We also include a fail safe specification called flank protection into the interlocking model.


    Access

    Download


    Export, share and cite



    Title :

    Experience using Coloured Petri Nets to Model Railway Interlocking Tables


    Contributors:


    Publication date :

    2014




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    Unknown




    Experience using Coloured Petri Nets to Model Railway Interlocking Tables

    Vanit-Anunchai, Somsak | ArXiv | 2014

    Free access

    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



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

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