Research on early runway incursion warning based on Petri net. - Xinmin Tang; Xiaoqi Ji (Simul., 2023)