系统工程与电子技术 ›› 2018, Vol. 40 ›› Issue (5): 1064-1069.doi: 10.3969/j.issn.1001-506X.2018.05.16

• 系统工程 • 上一篇    下一篇

基于着色时间Petri网的航班保障服务建模方法

邢志伟1,2, 魏志强1,2, 罗谦2, 文涛1,2, 丛婉2, 夏欢2   

  1. 1. 中国民航大学电子信息与自动化学院, 天津 300300; 2. 中国民用航空局第二研究所, 四川 成都 610041
  • 出版日期:2018-04-28 发布日期:2018-04-24

Flight support service process modeling method based on colored time Petri net

XING Zhiwei1,2, WEI Zhiqiang1,2, LUO Qian2, WEN Tao1,2, CONG Wan2, XIA Huan2   

  1. 1. College of Electronic Information and Automation, Civil Aviation University of China, Tianjin 300300, China; 2. The Second Research Institute of Civil Aviation Administration of China, Chengdu, 610041, China
  • Online:2018-04-28 Published:2018-04-24

摘要:

航班地面保障过程的定量描述以及保障服务时间的准确估计是提升机场保障服务效率的关键。通过分析航班地面保障服务实际作业流程,提出了一种基于着色时间Petri网的航班地面保障服务定量描述模型。该模型将保障服务分为作业、状态、资源3部分,利用着色时间Petri网基本元素描述保障作业、作业逻辑关系、服务状态及其与保障作业的关系,根据该模型设计了一种基于蒙特卡罗仿真的保障服务时间估算方法。利用国内某大型枢纽机场实际航班保障服务时间数据与本文提出的方法估计保障时间数据估算误差进行分析验证,表明本文提出方法对航班地面保障服务时间估计的可行性和有效性。

Abstract:

The quantitative description of the flight ground support process modeling and accurate estimation of the service time are the keys for enhancing the efficiency of airport flight support services. A quantitative description support service model (SSM) is proposed for analyzing the actual process of airport support service using colored time petri nets (CTPNs). The model divides the support service into three parts, task, state and resource. This paper uses the basic elements of the colored Petri nets to describe the support task, the logical relationship of the task, the service state and the relationship with the support task, and the model is given by the mentioned work. Based on the model, a support service time simulation algorithm based on the Monte Carlo method (MC-SST) is proposed. Finally, an application case of large hub airport flight support service data analyzes and validates the error of the MC-SST estimation time and the real time, which illustrates the applicability and effectiveness of the CTPN-SSM model.