Title: Petri-Netze im Flughafenverkehr
Subjects: Air traffic control, Computer programs, Decision support systems