Информатика, вычислительная техника и управление. Диссертация Бисимуляция ресурсов в сетях Петри : диссертация ... кандидата физико-математических наук : 05.13.17, Ярославль, 2003