Рекомендованный список диссертаций по специальности «Теоретические основы информатики», 05.13.17 шифр ВАК

• Некоторые методы ресурсного анализа сетей Петри2014 год, кандидат наук Башкин, Владимир Анатольевич

• Алгоритмические свойства формальных моделей параллельных и распределенных систем2011 год, доктор физико-математических наук Кузьмин, Егор Владимирович

• Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри2004 год, кандидат физико-математических наук Окунишникова, Елена Валерьевна

• Анализ корректности дискретных систем с асинхронными взаимодействиями1984 год, кандидат технических наук Анишев, Петр Александрович

• Анализ семантических свойств некоторых классов программ и сетей Петри2001 год, доктор физико-математических наук Ломазова, Ирина Александровна