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

Кулагин В.П. Моделирование структур параллельных вычислительных систем на основе сетевых моделей: Учебное пособие. - Москва: Московский государственный институт электроники и математики (технический университет), 1998. – 102 с.: ил. 62, табл. 4, библиогр. 78 назв.

В работе рассматриваются основные тенденции в развитии современных вычислительных систем, дается анализ выполненных исследований в области проектирования параллельных структур, рассматриваются методы формализованного описания структур вычислительных систем, дается обоснование перспективности совместного использования тензорных методов и аппарата сетей Петри при проектировании параллельных вычислительных систем.
Учебное пособие подготовлено на кафедре “Вычислительная техника” и предназначено для аспирантов, студентов, изучающих курс “Моделирование”, а также для слушателей институтов повышения квалификации.


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