基于Petri网的航班运行建模和延误波及分析

针对当前缺乏面向航班延误波及分析的精确航班运行模型、以及延误波及分析算法复杂度过高的不足,提出一种航班运行时间Petri网模型及延误波及分析算法。该模型对库所和变迁分别赋予时间区间约束,可精确描述航班机场过站时间以及航班飞行时间等关键性航班特征;同时,利用线性逻辑推理能力对所建模型进行约简,分别导出变迁和变迁序列的顺序激发规则,并在此基础上提出具有实时性的航班延误波及分析算法。考虑飞机起飞源机场不同的初始延误水平,建立相应模型并分析航班延误波及,结果表明,所给模型和算法能够有效预测航班在下游机场是否延误并快速给出延误水平。