基于Petri网的空中交通管制辅助决策系统  

Air Traffic Control Subsidiary Decision System Based on Petri Net

作　　者：黄圣国[1] 肖靖[1] 陆瑜 吕兵[1] 

机构地区：[1]南京航空航天大学民航学院,南京210016

出　　处：《南京航空航天大学学报》2000年第2期206-211,共6页Journal of Nanjing University of Aeronautics & Astronautics

基　　金：国家自然科学基金 !(编号 :79870 0 32 )资助项目

摘　　要：空中交通管制系统是生产实际中的一种典型的离散事件动态系统 (Discrete event dynam icsystem,DEDS) ,而 Petri网理论是研究 DEDS的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构 ,文中引入 Petri网概念的一类扩充——开放 Petri网的概念 ,并用开放 Petri网对空中交通管制辅助决策系统进行建模与分析 ,阐述了空中交通管制辅助决策系统的开放 Petri网控制器 ,给出了空中交通管制辅助决策系统的组成、功能和工作过程 ,以及采用人机交互进行仿真和验证 ,最后提出了有待于更深入研究的设想 。Air traffic control system is a typical discrete event dynamic system (DEDS) in practice, while Petri net theory is widely used to study DEDS as a powerful tool. To describe interactive mechanism and arrangement structure of the external control in air traffic control systems, this paper introduces the conception of open Petri net by expanding Petri net theory. And a model of air traffic control subsidiary decision system is developed and analyzed on the basis of the open Petri net. The open Petri net controller of the air traffic control subsidiary decision system is described and the composition, the function and the working process of the controller are also discussed, which then are simulated and validated through interaction between man machine. Finally this paper puts forward some suggestions on more thorough research to realize air traffic control and management integration.

关 键 词：空中交通管制辅助决策系统 仿真 PETRI网 

分 类 号：V355.1[航空宇航科学与技术—人机与环境工程] TP391.9[自动化与计算机技术—计算机应用技术]