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

空中交通管制系统是生产实际中的一种典型的离散事件动态系统（Ｄｉｓｃｒｅｔｅ ｅｖｅｎｔ ｄｙｎａｍｉｃｓｙｓｔｅｍ，ＤＥＤＳ），而Ｐｅｔｒｉ网理论是研究ＤＥＤＳ的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构，文中引入Ｐｅｔｒｉ网概念的一类扩充－－开放Ｐｅｔｒｉ网的概念，并用开放Ｐｅｔｒｉ网工中交通管制辅助决策系统进行建模与分析，阐述了空中交通管制辅助决策系统的开放Ｐｅｔｒ

Air Traffic Control Subsidiary Decision System Base d on Petri Net

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.