- •Введение
- •Глава 1. Основные понятия теории моделирования
- •1.1. Классификация видов моделирования
- •1.2. Жизненный цикл компьютерной модели
- •1.3. Вычислительный эксперимент
- •1.4. Наиболее известные методологии и системы компьютерного моделирования
- •1.4.1. Универсальные системы моделирования
- •1.4.2.Системы моделирования бизнес-процессов
- •1.5. О моделировании вычислительных систем
- •Глава 2. Введение в сети Петри
- •2.1. Обыкновенные сети Петри
- •2.1.1. Формальное определение
- •2.1.2. Графы сетей Петри
- •2.1.3. Пространство состояний сети Петри
- •2.1.4. Основные свойства сетей Петри
- •2.1.5. Некоторые обобщения сетей Петри
- •Инварианты сетей Петри
- •2.2. Раскрашенные (цветные) сети Петри
- •2.2.1. Мультимножества
- •2 2.2. Формальное определение cpn
- •2.2.3. Функционирование cpn
- •2.2.4. Расширения cpn
- •2.2.5. Сравнение формализмов обыкновенных и раскрашенных сетей Петри
- •2.2.6. О моделирующих возможностях сетей Петри.
- •2.3. Моделирование дискретных систем
- •2.3.1. Моделирование вычислительных систем
- •1. Простейшая система массового обслуживания.
- •2.3.2. Моделирование программ
- •1. Последовательная модель программирования
- •2. Модель параллелизма данных
- •3. Моделирование некоторых структур параллельного программирования. Семафоры
- •4. Метод асинхронного программирования
- •3 Моделирование протоколов передачи данных
- •1. Описание работы протокола
- •3. Временной механизм работы cpn
- •4. Описание работы cpn
- •2.3.4. Об исследовании сетей Петри с помощью эвм
- •Глава 3. Моделирование вычислительных Процессов с помощью цепей Маркова
- •3.1. Определение цепи Маркова
- •3.3. Классификация состояний цепей Маркова
- •3.4. Оценка длительности пребывания процесса в множестве невозвратных состояний
- •3.5. Исследование динамики цепей Маркова при большом числе шагов
- •4.1. Задачи и упражнения по главе 2
- •4.2. Задачи и упражнения по главе 3
- •1. Запуск программы и построение графа сети Петри
- •2. Задание цветовых множеств, переменных и начальной маркировки
- •Библиографический список
- •Глава 1.Основные понятия теории моделирования 5
- •Глава 2 Введение в сети Петри 21
- •Глава 4. Задания для самостоятельной работы 148
- •Глава 5. Лабораторный практикум 162
Глава 1.Основные понятия теории моделирования 5
Классификация видов моделирования g
Жизненный цикл компьютерной модели 9
Вычислительный эксперимент Ю
Наиболее известные методологии и системы компьютерного моделирования 12
1.5.0 моделировании вычислительных систем 16
Глава 2 Введение в сети Петри 21
2.1. Обыкновенные сети Петри 22
Формальное определение . 22
Графы сетей Петри . 25
Пространство состояний сети Петри 27
Основные свойства сетей Петри 29
Некоторые обобщения сетей Петри 31
Инварианты сетей Петри 36
2.2. Раскрашенные (цветные) сети Петри 41
Мультимножества 41
Формальное определение CPN 43
Функционирование CPN 47
Расширения CPN 51
Сравнение формализмов обыкновенных и раскрашенных сетей Петри 54
О моделирующих возможностях сетей Петри 54
2.3. Моделирование дискретных систем 56
Моделирование вычислительных систем .57
Моделирование программ 67
Моделирование протоколов передачи данных 19
Об исследовании сетей Петри с помощью ЭВМ...84 Глава 3. Моделирование вычислительных процессов с
помощью цепей Маркова 89
3.1, Определение цепи Маркова 90
3.2. Модель вычислительной системы как цепь
Маркова 92
Классификация состояний цепей Маркова 99
Оценка длительности пребывания процесса в множестве невозвратных состояний 102
Исследование динамики цепей Маркова при большом числе шагов 117
Цепи Маркова с непрерывным временем 123
Моделирование надежности вычислительных
систем 131
3.8. Структурный подход к моделированию систем на основе сетей Петри 139
Основные понятия событийных моделей и их отображение в сетях Петри 140
Диаграммы условий и событий 141
3.8.3. Пример построения модели 144
Глава 4. Задания для самостоятельной работы 148
Задачи и упражнения по главе 2 148
Задачи и упражнения по главе 3 152
Глава 5. Лабораторный практикум 162
Лабораторная работа №1 163
Лабораторная работа №2 168
Лабораторная работа №3 170
Лабораторная работа №4 175
Лабораторная работа №5 179
Лабораторная работа №6 185
Лабораторная работа №7 187
Лабораторная работа №8 189
Приложение. Краткая инструкция по созданию сетей
Петри в системе CPN Tools 192
Библиографический список ….. 198