Моделирование структур параллельных вычислительных систем на основе сетевых моделей - лекции
Введение
1.1. Основные тенденции в развитии современных вычислительных систем
1.2. Современное состояние исследований
1.3. Методы формализованного описания структур вычислительных систем
2.1. Модификации сетей Петри и их свойства
2.2. Способы описания сетей Петри
2.3. Методы анализа сетей Петри
3.1. Структуры сетей петри
3.2. Основные определения
3.3. Алгебра структур сетей Петри
3.4. Пространство структур сетей Петри
3.5. Преобразование СП-структур
3.6. Пример анализа СП-структуры