Petrinetz-basierte Beobachtung von Systemzuständen: Einsatzmöglichkeiten und Leistungsgrenzen bei der Lenkung von Flughafenverkehr. - Volker Huck (Wiss. Berichtswesen der DLR, 1993)