基于CPN的Agent建模及其用于航空器推出的分析

采用减少航班推出时间的方法以达到减少航班延误时间的目的，分析了航空器推出过程中存在的冲突问题，通过在推出路径关键位置没置安全点来避免冲突；基于Agent建模理论，采用面向对象的赋时着色Petri网（Objectoriented Timed Colored Petrinet，OTCPN）的建模方法，对航空器的推出行为建模，并在仿真工具CPN Tools中对模型进行了分析，通过状态空间报告（State Space Report）可知模型是有界的、可行的，且不存在死点；最后，设计实现了相邻机位航班地面延误最少前提下的实际推出时间计算单元。

Petri Net-Based Agent Modeling and Analysis for Aircraft Push-Back Behavior Model

Taking the method of cutting down pushback time to the purpose of reducing flight delay, analyze the conflicts which occurred during the process of pushback, setting security point in key position on pushback path in order to avoid the conflict; Then based on Agent modeling theories,by using the modeling method of OTCPN model the pushback behavior of aircraft and analyze the model in CPN Tools, the State Space Report shows that the model is unboundless, and there is no dead-points, confirming the feasibility of the model ; Finally, design the actual push-back time calculate unit of the flight which minimizes the total delay on ground.