Приведено решение задачи формирования бесконфликтной очереди заходящих на посадку воздушных судов (ВС). Описание системы "ВС-лицо, принимающее решение" и моделирование динамики ее функционирования проведены с использованием аппарата сетей Петри. Анализ модели показал возможность применения процедуры выявления конфликтов и их разрешения еще на этапе формирования очереди.
