Coloured Petri net-based trafﬁc collision avoidance system encounter model for the analysis of potential induced collisions - Tang,Jun