Введение
ГЛАВА 1 Введение в системы взаимодействующих процессов 9
1.1 Сеть Петри для моделирования асинхронного взаимодействия процессов при использовании общих ресурсов 10
1.2 Сети с накоплениями событий 13
1.3 Сети с распознающими предикатами 15
1.4 Вычислительные сети (CN) 17
1.5 Самосинхронизирующиеся сети (SN) 21
1.6 Асинхронные преобразующие сети 22
1.7 Высказывательная (пропозиционная) сеть для экспертных систем..23
1.8 Выводы по главе 1 25
ГЛАВА 2 Теоретические основы теории joiner-сетей 26
2.1 Концептуальная интерпретация Joiner-сетей и взаимосвязей их элементов 27
2.2 Формальная система, порождающая правильно построенные формулы JN 28
2.3 Матричная форма представления JN 32
2.4 Проблемы анализа сетей и формы их представления, удобные для анализа 33
2.5 Joiner-алгебра (склеивающая алгебра) 37
2.6 Техника работы с Joiner-алгеброй 39
2.7 Теорема о ярусно-параллельной форме Joiner-сети 41
2.8 Многопроцессорное разложение сетей. Теорема о процессорной декомпозиции. Теорема о композиции локальных сетей 41
2.9 Формальная интерпретация JN сетью автоматов 45
2.10 Внутренняя структура элементарного автомата и правила его работы в сети 46
2.11 Теорема о «работающей» цепочке 47
2.12 Выводы по главе 2 49
ГЛАВА 3 Известные модели асинхронных систем управления процессами и их представление joiner- сетью 50
3.1 Сети Петри (PN) 51
3.2 Асинхронные цифровые схемы (сети) Маллера (MN) 59
3.3 Дискретные нейронные сети Мак Каллока-Питтса (VN) 60
3.4 Семантическая сеть Ван-Хао (WN) 61
3.5 Алгебраические сети (AN). Исчисление Эрбрана-Геделя. Вычислительные модели Э. Тыугу 63
3.6 Ринговые и роторные сети (RN, RoN) 66
3.7 Выводы по главе 3 67
ГЛАВА 4 Модели реальных асинхронных систем, использующих joiner-сети 69
4.1 Модель, описывающая процессы разрушения древнерусских фресок 69
4.1.1 Описание модели 69
4.1.2 Элементы модели 70
4.1.3 Сеть, описывающая состояние фрески 7Д
4.1.4 Пример работы сети 73
4.2 Модель удаленной Интернет-атаки 75
4.2.1 Описание модели 75
4.2.2 Элементы модели 76
4.2.3 Сеть для моделирования атаки 80
4.2.4 Пример работы сети 82
4.3 Модель системы связи канального процессора с двумя абонентами.84
4.3.1 Описание модели 84
4.3.2 Сеть, моделирующая систему связи канального процессора с двумя абонентами через адаптер 85
4.3.3 Пример работы сети 86
4.4 Модель информационной системы поля боя 87
4.4.1 Описание модели 87
4.4.2 Элементы модели 89
4.4.3 Сеть для четырех подразделений 90
4.4.4 Пример работы сети 92
4.5 Модель группового поведения стаи рыб 94
4.5.1 Описание модели 94
4.5.2 Элементы модели 95
4.5.3 Сеть для стаи из пяти рыб 97
4.5.4 Пример работы сети 104
4.6 Модель биржевой игры 106
4.6.1 Описание модели 106
4.6.2 Элементы модели 107
4.6.3 Сеть для двух игроков 111
4.6.4 Пример работы сети 115
Заключение 117
Список литературы
