Analysis of induced Traffic Alert and Collision Avoidance System collisions in unsegregated airspace using a Colored Petri Net model

Tang Jun, Miquel Angel Piera, Jenaro Nosedal. Analysis of induced Traffic Alert and Collision Avoidance System collisions in unsegregated airspace using a Colored Petri Net model. Simulation, 91(3):233-248, 2015. [doi]

Abstract

Abstract is missing.