- •Введение
- •Глава 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. Советов Б.Я., Яковлев С.А. Моделирование систем.- М: Высшая школа, 1985.. - 350 с.
2. Бенькович Е., Колесов Ю.Б., Сениченков Ю.Ь. Практическое моделирование динамических систем.- СПб.; Б*В-Петербург, 2002. - 464 с.
3. Б. Кудрявцев. GPSS World. Основы имитационного моделирования различных систем. М: ДМК, 2003. - 320 с.
4. $аулер М., Скотт К. UML в кратком изложении. Применение стандартного языка моделирования.- М.:Мир, 1999.- 191 с.
5. Калянов Г.Н. CASE-технологии. Консалтинг в автоматизации бизнес-процессов. - 3-е изд. - М.: Горячая линия-Телеком, 2002. - 320 с.
6. Доррер Г.А. Методы анализа вычислительных систем. Учебное пособиегКрасноярск, СибГТУ, 2000. - 143 с.
7. Основы теории вычислительных систем / Под, ред. проф. С.А. Майорова.-М.: Высшая школа, 1978. -408 с.
Питерсон Дж. Теория сетей Петри и моделирование систем. "М.; Мир, 1984.
Котов В.Е. Сети Петри.-М.: Наука, 1984. - 158с.
Jensen К. Coloured Petti Nets: Basic Concepts, Analysis Methods and Practical Use. Berlin, Spingler. Vol.1 - 1996, Viol.2- 1997, Vol.3- 1997.
Калман Р., Фалб П.. Арбиб М. Очерки по математической теории систем.-М.: Мир, 1971. - 400 с.
Вероятностные методы в вычислительной технике / СЬд ред. А.Н. Лебедева и Е.А. Чернявского. - М.: Высшая школа, 1986,-312 с.
Кемени Дж., Снелл Дж. Конечные цепи Маркова." М.: Наука, 1970.-450 с.
Гантмахер Ф.Р. Теория матриц.-М.: Наука, 1966. -576 с.
Информатика. Базовый курс / СВ. Симонович и др. - СПб.: Изд-во «Питер», 1999. -640 с.
Королюк B.C., Турбин А.Ф. Полумарковские процессы и их приложения.-Киев; Наукова думка, 1976. -290 с.
Статьи
Никонов В.В., Подгубский Ю.Е. Применение сетей Петри. //Зарубежная радиоэлектроника.-1986.-№11.-С.17-37.
Бадман О.Л. Поведенческие свойства сетей Петри. //Техническая кибернетика.-1987.-№5.-С. 134-150.
Кириллов В.Ю., Нижник В.В. Пакет программ работы с сетями Петри для персональных ЭВМ. //Управляющие системы и машины.-1989.-№4.-С.48-51.
Кириллов В JO. Об автоматной интерпретации сетей Петри. //Управляющие системы и машины.-1989.-№4.-С.151-163.
Беликов В.К., Руш Я.Ф. Матричные задания и анализ раскрашенных сетей Петри. //Управляющие системы и машины.-1989.-№4,-СЛ64-167.
Таль А. А. Юзицкий С. А. Иерархия и параллелизм в сетях Петри. //Автоматика и телемеханика.-1982.-№7,№9.
Разенблюм Л.Я. Сети Петри. //Техническая кибернетика. №6.Л983.-С.12-40.
Никонов В.В., Подгубский Ю.Е. Сети Петри. Теория, применение. //Зарубежная радиоэлектроника.-1984.~№4.-С.28-59.
Ayache I-M., Courtiat J.-P., Dias M. REBUS, A Fault Tolerant Distributed System for bdustrial Real - Time Control. - ]EEE Trans, on Computers. 1982, v. C- 31, no. 7, pp 637 - 647.
Доррер Е.А. Параллельные вычисления при моделировании сложных дискретных систем. //Труды семинара «Распределенные и кластерные вычисления».- Красноярск: ИВМ СО PAR 2001.-С.50 - 64.
Доррер Е.А., Доррер М.Е. Структурный подход к моделированию систем на основе сетей Петри. /.'Материалы 8 Всероссийской научно-практической конференции ПИР-2003, Красноярск, 2003.-Том 1.-С.139- 144.
Оглавление
Введение 3