Розробка технологічної мови моделювання транспортних коридорів (ТК) на основі аналізу теорії і практики застосування математичного апарату мереж Петрі. Моделювання та верифікація перевезень по ТК України з метою раціональної організації вагонопотоків.