Информатика, вычислительная техника и управление. Диссертация Разработка методов и средств математического моделирования технологических схем с использованием формальных свойств сетей Петри : На примерах систем карьерного транспорта и проветривания угольной шахты : диссертация ... кандидата технических наук : 05.13.16, Кемерово, 1999