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.
No takes yet. Share an insight, caveat, or question.
Huang et al. (2010) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: