Timed Petri nets (TPNs) are useful for performance evaluation discrete event systems due to their mathematical formalism. This paper proposes to use TPNs to model parallel railroad level crossing traffic safety control systems. Double-track railroad lines by using TPNs are illustrated. The resulting models allow one to identify and thus avoid critical scenarios in such systems by conditions and events of the model that control the phase of traffic light alternations. Their analysis is performed to demonstrate how the models enforce the phase of traffic transitions by a reachability graph with timed information method. The liveness and reversibility of the proposed model are verified. This helps advance the state-of-the-art in traffic safety related to the intersection of railroads and roadways.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Emerging Scenarios Avoidance Policy for Railroad Level Crossing Traffic Control Systems


    Additional title:

    Lect. Notes Electrical Eng.


    Contributors:


    Publication date :

    2014-01-01


    Size :

    7 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Emerging Scenarios Avoidance Policy for Railroad Level Crossing Traffic Control Systems

    Weng, Yi-Shun / Huang, Yi-Sheng / Chen, Bo-Yang | Tema Archive | 2014


    Emerging Scenarios Avoidance Policy for Railroad Level Crossing Traffic Control Systems

    Weng, Yi-Shun / Huang, Yi-Sheng / Chen, Bo-Yang | TIBKAT | 2014



    MODULAR RAILROAD LEVEL CROSSING LIGHT AND MODULAR RAILROAD LEVELING TRAFFIC LIGHT MOUNTING BRACKET

    MORDOV SERGEI ALEKSANDROVICH / BELONOZHKIN DMITRII ALEKSANDROVICH | European Patent Office | 2021

    Free access

    RAILROAD CROSSING CONTROL SYSTEM AND RAILROAD CROSSING CONTROL METHOD

    MAEKAWA KEIJI / KATSUTA KEIICHI / TAOKA HIROSHI | European Patent Office | 2021

    Free access