CONTACT US: Contact info
|
Citation |
Huang Y, Chung T. Trans. Inst. Meas. Control 2011; 33(1): 30-49. |
|
Copyright |
(Copyright © 2011, Institute of Measurement and Control, Publisher SAGE Publishing) |
|
DOI |
|
PMID |
unavailable |
|
Abstract |
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. |