Colored Petri Net based formal airport control model for simulation and analysis of airport control processes

Authors:
Bernd Werther;Christoph Moehlenbrink;Michael Rudolph
Affiliations:
German Aerospace Center, Institute of Flight Guidance, Braunschweig, Germany;German Aerospace Center, Institute of Flight Guidance, Braunschweig, Germany;German Aerospace Center, Institute of Flight Guidance, Braunschweig, Germany
Venue:
ICDHM'07 Proceedings of the 1st international conference on Digital human modeling
Year:
2007

Citing 3
Cited 2

Modelling and Simulation of Human Behaviour in System Control

Modelling and Simulation of Human Behaviour in System Control
Formal Cognitive Resource Model: Modeling of human behavior in complex work environments

CIMCA '05 Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-2 (CIMCA-IAWTIC'06) - Volume 02
Colored Petri Net Based Modeling of Airport Control Processes

CIMCA '06 Proceedings of the International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce

Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Exploring airport traffic capability using Petri net based model

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

The development of the experimental Remote Tower Operation Human Machine Interface and the new Remote-Controller work position is supported by a cognitive work and task analysis (CWA) of the presently existing work environment and decision processes at airport Leipzig. This paper presents a formal approach for the description of the whole Human Machine System. It is shown how the results of a cognitive work analysis on a medium size airport are transferred into a formal executable human machine model for simulating the controllers work processes in relation to the airport processes. The model is implemented with Colored Petri Nets. The mathematical basis of Petri Nets allows a formal analysis of whole systems. Critical system states and inconsistencies in the human machine system are identified through comparison of knowledge states of the controllers with process states of the airport system by using State Space analysis. The represented formal work process model provides a valuable support for the communication between domain experts and system developers.