We suggest a new approach to railway systems modelling based on hybrid Petri nets. The background for this approach is the interpretation of railway systems as hybrid (continuous-discrete) systems. Our definition of hybrid nets is based on Coloured Petri Nets, which allows a smooth integration into existing discrete models as well as a straightforward approximation for the purpose of simulation. After outlining the considerations that lead to the definition of this particular formalism, we explore some of the implications with respect to modelling, simulation and analysis of railway systems.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Hybrid Petri nets as a new formalism for modelling railway systems


    Beteiligte:
    Decknatel, G. (Autor:in) / Schnieder, E. (Autor:in)


    Erscheinungsdatum :

    1998


    Format / Umfang :

    10 Seiten, 15 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Hybrid Petri nets as a new formalism for modelling railway systems

    Decknagel, G. / Schneider, E. / Wessex Institute of Technology | British Library Conference Proceedings | 1998


    Modelling hybrid systems by high-level Petri nets

    Giua, A. / Usai, E. | British Library Conference Proceedings | 1998


    Simulation of railway stations based on hybrid Petri nets

    Kaakai, Fateh / Hayat, Said / Moudni, Abdellah El | Tema Archiv | 2006


    Modelling hybrid control systems using programmable timed Petri nets

    He, K. X. / Lemmon, M. D. | British Library Conference Proceedings | 1998


    Modelling of hybrid flexible production systems by Coloured-Batches Petri nets

    Caradec, M. / Prunet, F. | British Library Conference Proceedings | 1998