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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    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 Railway Systems with Hybrid Petri Nets

    Decknatel, G. / Schnieder, E. | 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, F. / Hayat, S. / El-Moudni, A. et al. | British Library Conference Proceedings | 2006


    Simulation of railway stations based on hybrid Petri nets

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