论文部分内容阅读
航班在停机坪作业时产生的推出冲突将影响航空器之间的运行安全和效率。文中针对典型的航班推出过程，基于Petri网理论建立了具有并发冲突的着色Petri网(CPN)模型，并采用抑制弧方法给出了避免航班推出冲突的逻辑控制。利用Petri网仿真软件CPN Tools进行了无冲突的航班推出过程仿真，对保障航班推出过程的运行安全、提高繁忙机场的运行效率具有重要的现实意义。