Моделирование структур параллельных вычислительных систем на основе сетевых моделей

Московский государственный институт электроники.
и математики (технический университет).
Кулагин В. П.
Оглавление.
Введение.
Проблема анализа и синтеза структур параллельных вычислительных систем.
Основные тенденции в развитие современных вычислительных систем.
Современное состояние исследований.
Методы формализованного описания структур вычислительных систем.
Сетевые модели вычислительных систем.
Модификации сетей Петри и их свойств.
Свойства сетей Петри.
Модификации сетей Петри.
Примеры СП-моделей параллельных вычислительных систем.
Способы описания сетей Петри.
Матричное описание сетей Петри.
Алгебраическое описание сетей Петри.
Описание сетей Петри на основе базовых фрагментов.
Методы анализа сетей Петри.
Задачи анализа.
Анализ сетей Петри на основе дерева достижимости.
Матричные методы анализа.
Структуры сетей Петри.
Основные определения.
Алгебра структур сетей Петри.
Пространство структур сетей Петри.
Преобразование СП-структур.
Общие положения.
Операции преобразования СП-структур.
Пример анализа СП-структуры.