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 Colured 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 ofthe implications with respect to modelling, simulation and analysis of railway systems.
展开▼