Dynamically Coloured Petri Nets for Air Traffic Management Safety Purposes

Abstract Piecewise Deterministic Markov processes (PDPs) are known to describe in a most general way the evolution of stochastic models which include both discrete and continuous processes. However, the development and evaluation of PDPs is very difficult. This paper proposes an extension of the Petri net concept with which PDPs can be described. The advantage’s the modelling power, the analysis ability and the graphical support and visualisability. The Petri net extension is next illustrated with an Air Traffic Management example, in which aircraft consecutively make missed approaches on two converging runways.