Dynamically coloured petri nets for air traffic management safety purposes

摘要

Piecewise Deterministic Markov processes (PDPs) are known to describe in a most general way the evolution of stochastic models with 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 is 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.