- •Лекция 1 Список рекомендуемой литературы
- •Теория формальных языков. Модели языка по Хомскому
- •Обозначения
- •Лекция 2 Неоднозначность грамматики
- •Укорачивающие контекстно-свободные грамматики
- •Автоматные грамматики
- •Задача разбора
- •Нормальные формы Бэкуса-Наура. Б.Н.Ф. – нотация
- •Лекция 3
- •Контекстные условия
- •Конечные автоматы
- •Связь автоматных грамматик и конечных автоматов
- •Минимизация автоматов
- •Лекция 4 Машина Тьюринга
- •Минимизация конечного автомата
- •Кс-языки и их связь с мп-автоматами. Магазинная память (мп)
- •Мп-автоматы
- •Мп-автомат, распознающий язык {0n 1n | nN}
- •Графическое описание мп-автомата
- •Лекция 5
- •Совместимые состояния частичных автоматов
- •Нахождение максимальной группировки
- •Построение минимального частичного автомата
- •Модель динамического поведения. Асинхронный процесс как метамодель
- •Лекция 6 Асинхронный процесс
- •Лекция 7 Сети Петри
- •Пространство состояний сетей Петри
- •Анализ сетей Петри
- •Методы анализа сетей Петри. Дерево достижимости
- •Лекция 8 Матричные уравнения
- •Моделирование с помощью сетей Петри
- •События и условия
- •Одновременность и конфликт
Лекция 7 Сети Петри
Сети Петри представляют собой модель описания потоков событий и являются модельной интерпретацией асинхронного процесса. Понятие “событие” в данном случае может быть интерпретировано как изменение значения какой-либо компоненты ситуации асинхронного процесса. Связь между событиями выражается с помощью некоторого числа условий, каждое из которых имеет 2 значения: условие выполнено или условие не выполнено.
Согласно Петри, событие может наступить, если выполнены все условия, от которых зависит его наступление. Если событие наступило, то изменятся значения некоторого числа условий.
Сеть Петри задаётся множеством позиций Р, множеством переходов Т, функциями I и O и маркировкой μ.
Ø,I: T→P*, O: T→P*, маркировка μ представляет собой вектор с количеством компонент, совпадающим с числом позиций Р. Каждая компонента может принимать значения из множества натуральных чисел либо 0.
Множество P* представляет собой . ФункцииI и О могут быть определены не на всём множестве Т.
Графически сети Петри можно представить в виде двудольного ориентированного графа, где множества Р и Т определяют множество вершин, а функции I и О определяют дуги. При этом функция I определяет дуги, входящие в вершины множества Т, а функция О определяет дуги, выходящие из вершин множества Т.
Обычно вершины множества Р изображают кружками, а вершины множества Т – планками. При определении функционирования сетей Петри вводится понятие фишек, которые отличаются точками позиций. Маркировка μ определяет расположение фишек по позиции.
Любой переход может находиться в состоянии разрешения на запуск и неразрешения. Состояние разрешения определяется тем, что во всех позициях, из которых направлены дуги в данный переход, количество фишек не меньше количества дуг, идущих из данной позиции в переход.
Если переход разрешён к запуску, то он может быть запущен. В случае запуска происходит изменение маркировки. Из всех входных позиций убираются фишки (по количеству дуг из позиций в переход). Во всех выходных позициях данного перехода добавляются фишки по количеству дуг из перехода в соответствующую позицию.
Пример:
Error: Reference source not found
μ={3;1;0;1}
P:{p1,p2,p3,p4}
T:{t1,t2}
I(t1)= {p1,p2,p2 }
I(t2)= {p4}
O(t1)= {p3,p4 }
O(t2)= { p2,p2 }
Пространство состояний сетей Петри
Маркировкой μ сети Петри называется функция μ: P→N0.
Состояние сети Петри определяется её маркировкой. Изменение состояния, вызванное запуском перехода, определяется функцией изменения δ, которую назовём функцией следующего состояния. Эта функция применяется к конкретной маркировке μ и заданному переходу tj. В результате запуска перехода tj получается новая маркировка.
Запуск перехода и изменение маркировки называется выполнением сети. При многократном выполнении сети Петри получаются две последовательности: последовательность маркировок (μ0, μ1, μ2,…) и последовательность переходов (), которые при этом были запущены. Эти две последовательности связаны соотношениемμk+1=δ(μk, ).
Для сети Петри C=(P,T,I,O) с маркировкой μ маркировка μ’ называется непосредственно достижимой из μ, если существует такой переход tj, что
δ(μ, )= μ’.
Маркировка μ” называется достижимой из маркировки μ, если существует последовательность маркировок (μ, μ1, μ2,…, μk, μ”) такая, что каждая следующая маркировка в этой последовательности непосредственно достижима из предыдущей.
Множество достижимости R(C, μ) представляет собой набор всех маркировок сети Петри С, достижимых из маркировки μ.