Содержание
Введение
Глава I. Базовые понятия
1.1 Обзор языка .
1.1.1 Понятие модуля.
1.1.2 Организация взаимодействия между модулями
1.1.3 Принцип структуризации и такт вычисления.
1.1.4 Концепция времени в
1.2 Сети Петри
1.2.1 Ординарные сети Петри .
1.2.2 Раскрашенные сети Петри
1.2.3 Декларации раскрашенной сети.
1.2.4 Пометка раскрашенной сети
1.2.5 Правила функционирования раскрашенных сетей
1.2.6 Структура иерархической раскрашенной сети
1.3 Расширение модели раскрашенных сетей
1.3.1 Временные раскрашенные сети .
1.3.2 Раскрашенные сети с приоритетами.
Глава II. Моделирование статических спецификаций посредством раскрашенных сетей
2.1 Отображение предопределенных типов
2.2 Отображение иерархии модулей
2.3 Формальные параметры и экспортируемые переменные
2.4 Точки взаимодействия и структура связей.
2.5 Отображение тела модуля..
2.6 Моделирование перехода
2.6.1 Приставка vi.
2.6.2 Представление стандартных операторов.
2.6.3 Отображение процедур и функций.
2.7 Моделирование отложенных Енереходов
2.8 Моделирование такта вычисления
2.8.1 Последовательное выполнение
2.8.2 Параллельное выполнение
2.9 Обоснование алгоритма построения и оценка размера сети
Глава III. Моделирование динамических спецификаций посредством раскрашенных сетей
3.1 Отображение иерархии модулей
3.2 Идентификация экземпляров модулей.
3.3 Формальные параметры и экспортируемые переменные
3.4 Точки взаимодействия
3.5 Операторы установления связи .
3.5.1 Соединение точек взаимодействия
3.5.2 Прикрепление точек взаимодействия
3.6 Операторы разъединения связей.
3.6.1 Отсоединение точек взаимодействия
3.6.2 Открепление точек взаимодействия.
3.7 Организация вводавывода
3.8 Отображение тела модуля
3.8.1 Моделирование модулейнаследников
3.8.2 Моделирование функциональности тела модуля.
3.9 Моделирование перехода
3.9.1 Специфические операторы
3.9.2 Процедуры и функции
3.9.3 Моделирование Епереходов с задержками .
3. Создание и уничтожение новых экземпляров модулей.
31 Создание экземпляра модуля
32 Уничтожение экземпляра модуля..
3. Моделирование такта вычисления.
3. Обоснование алгоритма построения и оценка размера сети
Глава IV. Эксперименты
4.1 Программный комплекс V.
4.2 Кольцевой протокол.
4.2.1 Описание протокола
4.2.2 спецификация протокола.
4.2.3 Сетевая модель протокола.
4.2.4 Эксперименты с кольцевым протоколом.
Заключение
Литература
- Київ+380960830922