Другие журналы
|
электронный журналМОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИКИздатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609![]()
Разработка метода обнаружения тупика на модели параллельных процессов формализованных сетью Петри
Молодежный научно-технический вестник # 01, январь 2016 УДК: 004.021
Файл статьи:
![]() [1] Котов В.Е. Сети Петри. М.: Наука. 1984. 160 с. [2] Советов Б.Я., Яковлев С.А. Моделирование систем. М.: Высшая школа. 2005. 344 с. [3] Таненбаум Э. Современные операционные системы. Спб: Питер. 2011. 1120 с. [4] Рудаков И. В., Ребриков А. В. Масштабирование алгоритмов для автоматической генерации модульных тестов // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. 2011. № 4. С. 119-124. [5] Рудаков И. В., Ребриков А. В. Проверка выполнения функциональных требований к алгоритму на основе структурной генерации модульных тестов // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. 2012. Спец. вып. 2: Программная инженерия. С. 67-79. Публикации с ключевыми словами: параллельное программирование, сети Петри, состояние тупика, взаимоисключение Публикации со словами: параллельное программирование, сети Петри, состояние тупика, взаимоисключение Смотри также: Тематические рубрики: Поделиться:
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|