Gửi tin nhắn: Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions