Research on early runway incursion warning based on Petri net. (May 2023)