Синтез цифровых автоматов. Захаров Н.Г - 104 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

103
Р1 Р2
Р3
Р4
Р6
Р5
t1 t2
t3
t4
Рис. 7.1. Графическое изображение сети Петри
Выполнение условий изображается разметкой соответствующей позиции, а
именно: помещением числа n фишек (маркеров) в соответствующее место, где n > 0 –
емкость условия. Например:
Р - условие р не выполнено; Р - условие р имеет емкость 3;
Р - условие р выполнено; Р - условие р имеет емкость 5.
Неформально работу сети можно представить как совокупность локальных
действий, которые называются срабатываниями переходов. Они соответствуют реа-
лизациям событий и приводят к изменению разметки позиций, т. е. к локальному из-
менению условий в системе.
Таким образом, сети Петри позволяют перейти от понятий абстрактной асин-
хронной системы к динамической структуре из событий и условий. В общей теории
сетей сеть Петри рассматривается как один из способов сетевого моделирования сис-
тем. Вводятся обобщенные сетевые модели. Их единую основу образует понятие не-
интерпретированной ориентированной сети из условий и событий, которая описывает
только статическое строение системы. Если сеть Петри описывает функциональную
схему моделируемой системы, то работа сети моделирует процесс, происходящий при
функционировании системы.
7.2. Структура и способы представления сетей Петри
Моделирующие возможности сетей Петри и их эффективность объясняются
прежде всего тем, что сеть Петри – это интеграция графа и дискретной динамической
системы. Она может быть статической или динамической моделью представляемого с
ее помощью объекта. При этом отсутствие строго фиксированного аналитического
подхода при определении отношения вход-выход сети делает эту систему алгорит-
мически неопределенной как и для имитационных моделей. Особенную роль сети
Петри играют при моделировании параллельных процессов. Учитывается также пре-
имущество этих сетей – удобство их программирования на ЭВМ.
Применение сетей Петри не ограничивается, только, моделированием процес-
сов и динамических систем. Они с успехом используются и в теоретическом про-
граммировании при решении задач функциональной спецификации, верификации
программного обеспечения, организации вычислительных процессов, управления.
Выделяют четыре типа задач исследования объектов с помощью сетей Петри:

Страницы