TY  - JOUR
PY  - 2011//
TI  - Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets
JO  - Transactions of the Institute of Measurement and Control
A1  - Huang, Yi-sheng
A1  - Chung, Ta-hsiang
SP  - 30
EP  - 49
VL  - 33
IS  - 1
N2  - 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.<p /> 
LA  - 
SN  - 0142-3312
UR  - http://dx.doi.org/10.1177/0142331208095623
ID  - ref1
ER  -