Методология функционального моделирования (cети Петри)

Кафедра информатики и автоматизации научных исследований

Специальность: Прикладная информатика в области принятия решений

Преподаватель: Чернышова Н.Н.

Целью курса является изучение одного из направлений в моделировании условно - событийных процессов – сетей Петри. Рассматриваются вопросы, связанные с построением и анализом сетей Петри. Решаются задачи достижимости и покрываемости. Рассматриваются примеры моделирования конкретных систем.

В результате освоения дисциплины обучающийся должен:

Знать основные структурные свойства сетей Петри.

Уметь строить сети Петри для условно – событийных систем.

Знать динамические характеристики сетей Петри.

Уметь решать задачу покрываемости и достижимости.

Содержание

Основные понятия сетей Петри. Граф сети Петри, маркировка, правила выполнения. События и условия, одновременность и конфликт.

Анализ сетей Петри. Безопасность, ограниченность, сохранение, активность, достижимость и покрываемость. Дерево достижимости и его построение.

Языки сетей Петри.

Подклассы сетей Петри. Ординарные сети, автоматные сети, синхронизационные графы, свободные сети.

Процесс построения сети Петри в условно – событийной системе.

Примеры сетей Петри.

Литература

а) основная литература

  1. Котов В.Е. Сети Петри. М, Наука, 1984
  2. Питерсон Дж. Теория сетей Петри и моделирование систем. М, Мир, 1984

б) дополнительная литература

  1. Таль А.А., Юдицкий С.А. Иерархия и параллелизм в сетях Петри

Отчетность

  • Семестр 1: нет отчетности