Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes.

Bernd Werther, Christoph Mhlenbrink, Michael Rudolph

Browse the full HCI paper archive.