Введение
ГЛАВА 1. Анализ методов и средств моделирования систем распределенной обработки информации (РОИ) 9
1.1. Анализ характеристик систем РОИ 9
1.2. Анализ процесса проектирования систем РОИ 19
1.3. Анализ формальных моделей, используемых для исследования систем РОИ 20
1.3.1. Анализ возможностей сетевых моделей 21
1.3.2. Классификация и характеристики низкоуровневых сетей Петри 29
1.3.3. Классификация и характеристики высокоуровневых сетей Петри 34
1.4. Сравнительный анализ средств имитационного моделирования систем РОИ 42
ГЛАВА 2. Разработка формального аппарата для представления моделей систем рои 51
2.1. Требования к формальному аппарату для представления моделей систем РОИ 51
2.2. Общее описание Е-сетей и модифицированных Е-сетей 53
2.3. Алгебра модифицированных Е-сетей 65
2.4. Алгоритм функционирования модифицированных Е-сетей . 11
2.5. Язык описания сетевой модели 83
2.6. Язык управления процессом моделирования 89
ГЛАВА 3. Разработка комплекса имитационного моделирования 98
3.1. Требования к комплексу имитационного моделирования Winsim 98
3.2. Выбор архитектуры комплекса имитационного моделирования Winsim 101
3.2.1. Креативная система 106
3.2.2. Реализация компилятора языка MDL 110
3.2.3. Исполнительная система 121
3.3. Анализ возможностей распараллеливания процессов имитационного моделирования на группе компьютеров в ЛВС 136
ГЛАВА 4. Применение комплекса winsim для исследования систем рои 146
4.1. Методика представления систем РОИ на языке MDL 146
4.2. Исследование модели локальной вычислительной сети с кольцевой топологией 156
4.3. Исследование модели локальной вычислительной сети типа Ethernet 167
4.4. Исследование распределенных алгоритмов взаимного исключения 176
4.4.1. Алгоритм Рикарта-Агравала 181
4.4.2. Алгоритм Трехеля 194
4.4.3. Алгоритм Судзуки-Касами 200
Выводы 209
Заключение 210
Литература 212
