By Topic

Colored Petri Net Based Modeling of Airport Control Processes

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Bernd Werther ; German Aerospace Center (DLR), Germany

The paper shows a formal approach for the description and modeling of work processes based on a cognitive work analysis. 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 to control the airport processes. The formal model serves for an evaluation of different variants of work organization, a design of a new working position and monitoring of psychological parameters. Critical system states and inconsistencies in the human machine system are identified through comparison of the knowledge state of the controllers with process states of the airport system. The first steps of model verification and validation are introduced in this paper.

Published in:

2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06)

Date of Conference:

Nov. 28 2006-Dec. 1 2006