Учебники и монографии
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 с.
8. Питерсон Дж. Теория сетей Петри и моделирование систем. "М.; Мир, 1984.
9. Котов В.Е. Сети Петри.-М.: Наука, 1984. - 158с.
10. Jensen К. Coloured Petti Nets: Basic Concepts, Analysis Methods and Practical Use. Berlin, Spingler. Vol.1 - 1996, Viol.2- 1997, Vol.3- 1997.
11. Калман Р., Фалб П.. Арбиб М. Очерки по математической теории систем.-М.: Мир, 1971. - 400 с.
12. Вероятностные методы в вычислительной технике / СЬд ред. А.Н. Лебедева и Е.А. Чернявского. - М.: Высшая школа, 1986,-312 с.
13. Кемени Дж., Снелл Дж. Конечные цепи Маркова." М.: Наука, 1970.-450 с.
14. Гантмахер Ф.Р. Теория матриц.-М.: Наука, 1966. -576 с.
15. Информатика. Базовый курс / СВ. Симонович и др. - СПб.: Изд-во «Питер», 1999. -640 с.
16. Королюк B.C., Турбин А.Ф. Полумарковские процессы и их приложения.-Киев; Наукова думка, 1976. -290 с.
Статьи
17. Никонов В.В., Подгубский Ю.Е. Применение сетей Петри. //Зарубежная радиоэлектроника.-1986.-№11.-С.17-37.
18. Бадман О.Л. Поведенческие свойства сетей Петри. //Техническая кибернетика.-1987.-№5.-С. 134-150.
19. Кириллов В.Ю., Нижник В.В. Пакет программ работы с сетями Петри для персональных ЭВМ. //Управляющие системы и машины.-1989.-№4.-С.48-51.
20. Кириллов В JO. Об автоматной интерпретации сетей Петри. //Управляющие системы и машины.-1989.-№4.-С.151-163.
21. Беликов В.К., Руш Я.Ф. Матричные задания и анализ раскрашенных сетей Петри. //Управляющие системы и машины.-1989.-№4,-СЛ64-167.
22. Таль А. А. Юзицкий С. А. Иерархия и параллелизм в сетях Петри. //Автоматика и телемеханика.-1982.-№7,№9.
23. Разенблюм Л.Я. Сети Петри. //Техническая кибернетика. №6.Л983.-С.12-40.
24. Никонов В.В., Подгубский Ю.Е. Сети Петри. Теория, применение. //Зарубежная радиоэлектроника.-1984.~№4.-С.28-59.
25. 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.
26. Доррер Е.А. Параллельные вычисления при моделировании сложных дискретных систем. //Труды семинара «Распределенные и кластерные вычисления».- Красноярск: ИВМ СО PAR 2001.-С.50 - 64.
27. Доррер Е.А., Доррер М.Е. Структурный подход к моделированию систем на основе сетей Петри. /.'Материалы 8 Всероссийской научно-практической конференции ПИР-2003, Красноярск, 2003.-Том 1.-С.139- 144.
Оглавление
Введение..................................................................................... 3
Глава 1.Основные понятия теории моделирования.................. 5
1.1. Классификация видов моделирования............................ g
1.2. Жизненный цикл компьютерной модели........................ 9
1.3. Вычислительный эксперимент....................................... Ю
1.4. Наиболее известные методологии и системы
1.5.0 моделировании вычислительных систем................... 16
Глава 2 Введение в сети Петри.................................................. 21
2.1. Обыкновенные сети Петри............................................. 22
2.1.1. Формальное определение...................... ................. 22
2.1.2. Графы сетей Петри.................. ................................ 25
2.1.3. Пространство состояний сети Петри..................... 27
2.1.4. Основные свойства сетей Петри............................ 29
2.1.5. Некоторые обобщения сетей Петри....................... 31
2.1.6. Инварианты сетей Петри........................................ 36
2.2. Раскрашенные (цветные) сети Петри............................ 41
2.2.1. Мультимножества..................................................... 41
2.2.2. Формальное определение CPN................................ 43
2.2.3. Функционирование CPN......................................... 47
2.2.4. Расширения CPN....................................................... 51
2.2.5. Сравнение формализмов обыкновенных и
2.2.6. О моделирующих возможностях сетей Петри...... 54
2.3. Моделирование дискретных систем.............................. 56
2.3.1. Моделирование вычислительных систем............ .57
2.3.2. Моделирование программ....................................... 67
2.3.3. Моделирование протоколов передачи данных..... 19
2.3.4. Об исследовании сетей Петри с помощью ЭВМ...84
помощью цепей Маркова............................................. 89
3.1, Определение цепи Маркова........................................... 90
3.2. Модель вычислительной системы как цепь
Маркова............................................................................. 92
3.3. Классификация состояний цепей Маркова................... 99
3.4. Оценка длительности пребывания процесса в
3.5. Исследование динамики цепей Маркова при
3.6. Цепи Маркова с непрерывным временем................... 123
3.7. Моделирование надежности вычислительных
систем.............................................................................. 131
3.8. Структурный подход к моделированию систем на
3.8.1. Основные понятия событийных моделей и их
3.8.2. Диаграммы условий и событий............................ 141
3.8.3. Пример построения модели.................................. 144
Глава 4. Задания для самостоятельной работы....................... 148
4.1. Задачи и упражнения по главе 2.................................. 148
4.2. Задачи и упражнения по главе 3.................................. 152
Глава 5. Лабораторный практикум.......................................... 162
Лабораторная работа №1...................................................... 163
Лабораторная работа №2...................................................... 168
Лабораторная работа №3...................................................... 170
Лабораторная работа №4...................................................... 175
Лабораторная работа №5...................................................... 179
Лабораторная работа №6...................................................... 185
Лабораторная работа №7...................................................... 187
Лабораторная работа №8...................................................... 189
Приложение. Краткая инструкция по созданию сетей
Петри в системе CPN Tools........................................... 192
Библиографический список......................... …......................... 198
ТЕСТОВЫЕ ЗАДАНИЯ
