Hybrid Petri Nets As A New Formalism For Modelling Railway Systems
Free (open access)
G. Decknatel & E. Schnieder
Hybrid Petri nets as a new formalism for modelling railway systems G. Decknatel, E. Schnieder Institut jur Regelungs- und Automatisierungstechnik TU Braunschweig, Langer Kamp 8, D-38106 Braunschweig, Germany Email: Decknatel@ifra.ing.tu-bs.de Abstract 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. 1 Introduction The purpose of this paper is to suggest the use of hybrid Petri nets in the area of railway systems modelling.