Modeling and simulating on flight push-out conflicts based on colored Petri net

Push-out conflicts of flights in apron taxiways will affect the safety and the efficiency of aircrafts´ operation. Aimed at a typical case of flight push-out, the colored Petri net is adopted in this paper to establish its CPN model with the concurrent conflict of flight push-out and to propose a logic control of conflict avoidance based on inhibit arc technique. The conflict-free flight push-out process is simulated by using the CPN Tools software, which is of the vital significance for keeping safe flight push-out and inhancing the operational efficiency of busy airport.