Динамическое моделирование
с использованием сетей Петри.
Выполнила: Студентка гр. ПИЭ-104 Карелина Екатерина
Сеть Петри
Сеть Петри представляет собой ориентированный граф с вершинами двух типов (позициями и переходами), в котором дугами могут соединяться только вершины различных типов.
Сеть Петри
Сеть Петри
Модификации, как правило, касаются следующих трех моментов:
введение иерархии (иерархические сети Петри);
определение различий в маркерах, каждый из которых имеет свои уникальные характеристики (цветные/раскрашенные сети Петри);
введение многоместных (содержащих несколько маркеров) позиций, как последовательных, так и параллельных (сети Петри с многоместными позициями).
Сеть Петри
С использованием динамической модели подобного типа можно описать и проанализировать:
механизмы взаимодействия процессов (последовательность, параллелизм, альтернатива)
временные отношения между выполнениями процессов (одновременность, наложение, поглощение, одинаковое время запуска/завершения и т.п.);
абсолютные времена (длительность процесса, время запуска, зависимости от времени выполнения процесса и др.);
управление исключительными ситуациями, определяемое нарушениями.
Сеть Петри
Построенные динамические модели позволяют осуществлять следующие операции:
статический анализ системы (компоненты сети, иерархия сети, соответствие типов);
динамический анализ системы для конкретного маркирования сети;
имитационное моделирование системы с построением графиков движения маркеров относительно позиций сети в системном времени,
определяемом моментами срабатывания переходов, и в реальном времени путем задания для переходов задержек времени, отображающих продолжительность реальных операций.
