Piecewise Deterministic Markov Processes represented by Dynamically Coloured Petri Nets - Everdij, M.H.C.; Blom, H.A.P. (National Aerospace Laboratory NLR, 2000)
Keywords: Systems and control theory; Air traffic control