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

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