Petri nets and temporal logic are efficient tools to study concurrent systems, but each has their own shortages. Thus, we introduce temporal Petri nets to model, analyze and verify train safety comprehensive monitoring system. On one hand, we describe frameworks of this system using Petri nets. On the other hand, we use temporal logic to describe temporal relationships of system states. Then, we analyze and verify the properties of model and conclude that the system is reliable and effective.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets


    Beteiligte:
    Du, Yanhua (Autor:in) / Ai, Lifeng (Autor:in) / Liu, Chunhuang (Autor:in)


    Erscheinungsdatum :

    2005


    Format / Umfang :

    4 Seiten, 8 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch