Colored Petri Net Based Modeling of Airport Control Processes

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.