[1] HON WAI-CHUN. Intelligent resource simulation for an airport checkin counter allocation system[J]. IEEE Transactions on Systems,Man,and Cybernetics,PartC: Applications and Reviews,1999,29(3):25-335.[2] LIU CHANG-YOU,QING YIN. Modeling the Aircraft Ground Operation on Airport Based on Timed Petri Net[C]. The Sixth World Congress on Intelligent Control and Automation,WCICA 2006,1304-1308.[3] 丁建立,陈坦坦,徐涛. 基于时间Petri 网的航班延误链式反应模型构建[J]. 系统仿真学报,2008,20(14):3888-3891.[4] 丁建立,陈坦坦,刘玉洁. 有色-时间Petri 网航班延误模型与波及分析[J].计算机集成制造系统,2008,14(12):2334-2340.[5] WANG YU-TING,HAN SONG-CHEN,TANG XIN-MIN. Research on Airport Surface Modeling and Path Planning Algorithm Based on CTPN[C]. IEEE International Conference on Intelligent Computing and Intelligent Systems,ICIS 2009,262-266.[6] 刘长有,张莉.基于着色Petri网的一类航班推出冲突建模与仿真[C].第二十九届中国控制会议,2010,5447-5452.[7] 占东生,张伟,顾明甲.基于CPN TOOLS 的网络协议建模与仿真技术研究[J].微计算机信息,2010,26(5-1):164-166.[8] 朱连章,隋瑞什,孔莹莹. 基于CPN Tools 的性能评价仿真研究[J].微计算机应用,2008,29(4):78-8.[9] AYDIN AYBAR,ALTUG IFTAR. Supervisory Controller Design for Timed Petri Nets1[C]. IEEE/SMC International Conference on System of Systems Engineering,2006,59-64.[10] CHUNG TA -HSIANG. Modeling of Construction Scheduling with Coloured Petri Nets[C]. IEEE International Conference on Process Automation,Control and Computing,2011,1-6.[11] 赵莲.枢纽机场航班波构建方法研究[D].天津:中国民航大学,2011.