Hybrid Petri nets as a new formalism for modelling railway systems
G. Decknatel, Eckehard Schnieder · WIT transactions on the built environment · 1998
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.