PETROV / ____. ____ ____. ______ No.4 [2013-2014]

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Анализ сетей Петри: дерево достижимости

Инструментом решения ряда задач анализа сетей Петри является граф достижимости состояний или его аналог — дерево достижимости (с

повторяющимися вершинами).

Бесконечные деревья достижимости при этом сводятся к конечным деревьям покрываемости.

51

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

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

52

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Области применения сетей Петри

Выразительные возможности сетей Петри востребованы в моделировании широкого спектра систем: от биологии до

промышленного производства, от транспорта и логистики до программной инженерии.

53

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Задача №2: постановка

Синтезировать на базе полученной при решении задачи №1 конечно-автоматной модели DES модель, основанную на размеченной сети Петри.

Построить дерево достижимости сети, проанализировать ее безопасность и ограниченность.

Установить уровень активности каждого перехода и сети в целом.

Определить порождаемый и допускаемый сетью язык.

Исследовать возможность редукции сети за счет устранения ее структурной избыточности.

54

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Задача №2: правило синтеза

′

соответствующей 0 ; доп — множество всех векторовстрок 0, … , 0, 1, 0, … , 0 с ненулевыми элементами на местах позиций, соответствующих элементам доп.

55

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Вопросы и обсуждение

56