Timed Petri nets (TPNs) are useful for performance evaluation of discrete event systems due to their mathematical formalism. This paper focuses on their use to model the preemption of emergency vehicle systems. The advantage of the proposed approach is the clear presentation of traffic light behaviors in terms of conditions and events that cause the preemption of phases being changed. The resulting models allow one to identify and thus avoid urgent spectacles in such systems by conditions and events of the model that control the phase of traffic light alternations. Moreover, this work proposes a new emergency vehicle preemption policy to ensure that emergency vehicles can pass through intersections with no or less delay. The analysis is performed to demonstrate how the models enforce the phase of traffic transitions by a reachability graph with time information. The liveness and reversibility of the proposed model are verified. To our knowledge, this is the first work that employs TPNs to model an emergency vehicle preemption system and identify its urgent spectacles for the purpose of their complete avoidance. This helps advance the state-of-the-art in traffic safety related to the intersection of roadways.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets


    Beteiligte:
    Huang, Yi-Sheng (Autor:in) / Weng, Yi-Shun (Autor:in) / Zhou, MengChu (Autor:in)


    Erscheinungsdatum :

    01.08.2015


    Format / Umfang :

    1334495 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Based on Synchronized Timed Petri Nets for Emergency Vehicle Preemption Systems

    Huang, Yi Sheng ;Weng, Yi Shun | Trans Tech Publications | 2011


    Traffic Signal Priority/Preemption Control with Colored Petri Nets

    Li, L. / Lin, W.-H. / Liu, H. et al. | British Library Conference Proceedings | 2005


    Traffic signal priority/preemption control with colored Petri nets

    Lefei Li, / Wei-Hua Lin, / Hongchao Liu, | IEEE | 2005


    Design of regulatory traffic light control systems with synchronized timed petri nets

    Huang, Yi‐Sheng / Weng, Yi‐Shun / Zhou, MengChu | British Library Online Contents | 2018