Другие журналы
|
электронный журналМОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИКИздатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609
Анализ моделей параллельных процессов формализованных сетью Петри. Исключение тупиков
Молодежный научно-технический вестник # 08, август 2015 УДК: 004.021
Файл статьи:
Омарова М.О..pdf
(245.26Кб)
1. Котов В.Е. Сети Петри. М.: Наука. 1984. 160 с. 2. Советов Б.Я., Яковлев С.А. Моделирование систем. М.: Высшая школа. 2005. 344 с. 3. Документация по библиотеке Aspose. Режим доступа: http://www.aspose.com/docs/dashboard.action (дата обращения 20.05.2014). 4. Бьяфоре Б. Microsoft Visio 2007. Библия пользователя Visio 2007: учебное пособие. М.: Высшая школа, 2009. 259 c. 5. Рудаков И. В., Ребриков А. В. Неполная верификация сложных дискретных систем // Информационные технологии. 2011. № 3. С. 31-34. 6. Рудаков И. В., Ребриков А. В. Масштабирование алгоритмов для автоматической генерации модульных тестов // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. 2011. № 4. С. 119-124. 7. Рудаков И. В., Ребриков А. В. Проверка выполнения функциональных требований к алгоритму на основе структурной генерации модульных тестов // Вестник МГТУ им. Н.Э. Баумана. Сер. Приборостроение. 2012. Спец. вып. 2 «Программная инженерия». С. 67-79. Публикации с ключевыми словами: параллельное программирование, сети Петри, примитивы синхронизации, состояние тупика, взаимоисключение Публикации со словами: параллельное программирование, сети Петри, примитивы синхронизации, состояние тупика, взаимоисключение Смотри также: Тематические рубрики: Поделиться:
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|