Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets

作者：Huang Yi Sheng^*; Chung Ta Hsiang

来源：Transactions of the Institute of Measurement and Control, 2011, 33(1): 30-49.

DOI：10.1177/0142331208095623

• air traffic control
• hierarchical systems
• Petri nets

Hierarchical timed coloured Petri net (HTCPN) models have been utilized as a visual formalism for the modelling of complex reactive systems. They brighten the features on describing properties of causality, concurrency and synchronization. This paper focuses on the use of HTCPNs to model and analyse a dynamic procedure of an air traffic control (ATC) system. The advantage of the proposed approach is the clear presentation of the aircraft behaviour in terms of conditions and events. To our knowledge, this is the first work that employs HTCPNs to obtain models of ATC systems.

• 出版日期2011-2
• 单位中国人民解放军国防大学