关键词: Petri网, 有色-时间Petri网, 航班延误, 模型, 波及分析

Abstract: Based on theories of colored Petri nets and timed Petri nets, a colored Petri nets model was proposed for airplanes taking off from one airport to implement a few flights. And a colored-timed Petri nets model was established for multi-airports and multi-flights. A propagated analysis method for the flight delay was also put forward to judge whether there were flight delays in low reaches airports when the source airport delayed. Delay time was analyzed and predicted. Simulated experiments demonstrated that the longer the slack time, the bigger the possibility to absorb the propagation of delay; the longer the time of the initial delay, the more airports of the lower reaches involved.

Key words: Petri nets, colored-timed Petri nets, flight delay, model, propagated analysis