Гамаюн И.П.

РАЗРАБОТКА ИМИТАЦИОННЫХ МОДЕЛЕЙ НА ОСНОВЕ СЕТЕЙ ПЕТРИ

Гамаюн И.П. Разработка имитационных моделей на основе сетей Петри: Учеб. пособие. - Харьков: НТУ "ХПИ", 2002. - 143 с. - Русск. яз.

Учебное пособие включает основные положения из теории сетей Петри и их модификаций. На примерах показывается реализация принципов и технологических этапов разработки имитационных моделей на основе сетей Петри.

Предназначено для студентов специальности 7.080401 "Информационно-управляющие системы и технологии"

СОДЕРЖАНИЕ

Вступление

1 Основные понятия и положения теории Петри

1.1 Структурное определение и графическое представление сети Петри

1.2 Маркировка и правила выполнения сетей Петри

1.3 Сети Петри как средство для моделирования

1.4 Свойства сети Петри

1.4.1 Безопасность

1.4.2 Ограниченность

1.4.3 Сохранение

1.4.4 Активность

1.4.5 Достижимость и покрываемость

1.5 Методы анализа сетей Петри

1.5.1 Дерево достижимости

1.5.2 Матричное представление сети Петри

1.6 Определение свойств сети Петри методами анализа

1.6.1 Решение задач анализа методом дерева достижимости

1.6.2 Решение задач анализа методом матричного представления сети Петри

2 Модификации сети Петри и их использование для построения имитационных моделей

2.1 Раскрашенные сети Петри

2.2 Временные сети Петри

2.3 Моделирование с учетом стохастического характера ситуации в объекте

2.3.1 Стохастические сети Петри

2.3.2 Нечеткие сети Петри

3 Имитационное моделирование процессов функционирования объектов сетями Петри

3.1 Основные принципы и общие положения разработки имитационных моделей

3.2 Технологические этапы создания и использования имитационной модели

3.2.1 Составление содержательного описания объекта моделирования

3.2.2 Разработка концептуальной модели

3.2.3 Формализация объекта моделирования

3.2.4 Описание имитационной модели

3.2.5 Программирование и отладка модели

3.2.6 Технологические этапы испытания и эксплуатации имитационной модели

3.3 Имитационная модель производственного участка

3.4 Имитационная модель функционирования манипулятора

4 Программная реализация имитационной модели

Контрольные вопросы

Список литературы