随着经济高速发展，航班延误成为整个空中交通的核心环节。为了解决这个问题，大部分机场通过修建多条跑道，在一定程度上减缓了地面机场的交通流量。但在单位时间内，多架航班出现拥堵情况时，管制员的调度可能出现双跑道资源浪费、航班调度不公平等问题。针对以上提出的问题，本课题考虑在目前双跑道的研究环境下，根据航班进离港的特点，运用扩展后的高级Petri网建立模型，将双跑道调度看做实时任务调度系统。将TCPN并行调度模型，转换为严格的时间有色Petri网模型并进行有效的形式化分析。以单位时间内机场的总延误最小、吞吐量最大，航空器延误公平调度、航空器进离港公平使用跑道等目标，从并行调度这个层次来解决航班进离港调度问题。最后对终端区进离港航班数据仿真。仿真结果表明，并行调度算法时间复杂度最小，航班单一延误、总延误时间最少，航班并行调度率最高，由此可以说明并行调度算法优于FCFS、遗传调度排序算法。TCPN双跑道航班并行调度模型与并行调度算法符合机场双跑道的实际情况，为缓解双跑道拥堵、增加机场吞吐量提供了科学的形式化分析方法。