Логические модели объектов железнодорожной станции

Рассмотрены проблемы создания систем управления движением поездов, способных предвидеть возможные конфликтные ситуации. С этой целью разработан формальный метод представления структуры железнодорожных объектов (станций, перегонов) в виде системы логических функций, на основе которых находится множество маршрутов. Определены логические отношения между маршрутами (совместимые, несовместимые, враждебные маршруты).