Содержание
Введение
1 Модели СП и инструментальные средства, поддерживающие СП
1.1 Основные определения теории СП.
1.2 Свободные СП.
1.3 Регулярные и иерархические СП
1.3.1 Алгебра регулярных сетей .
1.3.2 Иерархические сети .
1.4 Временные СП.
1.4.1 Дискретновременные СИ.
1.4.2 Непрерывновременные СП
1.5 Раскрашенные СП
1.5.1 Неиерархические раскрашенные сети Петри
1.5.2 Временные раскрашенные СП .
1.5.3 Раскрашенные СП с приоритетами.
1.5.4 Иерархические раскрашенные СП
1.6 Обсуждение возможностей инструментальных средств, поддерживающих сетевые модели
2 Сетевые средства спецификации управления в языке параллельного программирования Варе
2.1 Структуры управления.
2.2 Типы управления
2.2.1 Описание типов управления
2.2.2 Программирование с типами управления.
2.3 Вазовый язык асинхронного параллельного программирования Варе
2.4 Сязык.
2.5 Программная симуляция иерархических сетей с ожиданием
3 Анализ временных сетевых моделей посредством систе
мы НТМЕС
3.1 Структурный анализ ВСП
3.1.1 Теоретическое обоснование
3.1.2 Анализ живости ВСП.
3.1.3 Анализ на основе 5компонент.
3.1.4 Анализ на основе Гкомпонент
3.2 Семантический анализ ВСП.
3.2.1 Семантика ДВСП в терминах временных первичных структур событий
3.2.2 Семантика. НВСП в терминах временных локальных структур событий
3.3 Концепции, организация и возможности системы ЛТМЕС
3.3.1 Структура и функции
3.3.2 Реализация и эксперименты
4 Проектирование, симуляция и валидация иерархических временных раскрашенных сетевых моделей посредством системы ХКЕЭ
4.1 ИВТсети.
4.2 Особенности структурной и функциональной организации
системы ХЫЕБ.
4.2.1 Графический редактор.
4.2.2 Симулятор .
4.2.3 Трассировщик
4.2.4 Визуализатор.
4.2.5 Подключаемые модули плагины .
4.2.6 Эксперименты
Заключение
Список литературы
- Київ+380960830922