Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Правила выполнения сетей Петри




Читайте также:
  1. I. Правила чтения
  2. II. Правила выделения фонем
  3. IV. Порядок выполнения работы
  4. IV. Порядок выполнения работы
  5. IV. Порядок выполнения работы
  6. IV. Порядок выполнения работы
  7. IV. Порядок выполнения работы
  8. IV. Порядок выполнения работы
  9. А. Правила поведения
  10. Алгоритм выполнения работы
  11. Алгоритм выполнения сердечно-легочной реанимации.
  12. Алгоритм выполнения.

Выполнением сети Петри управляют количество и распределение фишек в сети. Фишки находятся в кружках и управляют выполнением переходов сети. Сеть Петри выполняется посредством запусков переходов. Переход запускается удалением фишек из его входных позиций и образованием новых фишек, помещаемых в его выходные позиции.

Переход может запускаться только в том случае, когда он разрешён.

Переход называется разрешённым, если каждая из его входных позиций имеет число фишек большее или равное числу дуг из позиции в переход. Кратные фишки необходимы для кратных входных дуг.

Фишки во входной позиции, которые разрешают переход, называются его разрешающими фишками. Например, если позиции p1 и p2 служат входами для перехода t4, тогда t4 разрешён, если p1 и p2 имеют хотя бы по одной фишке. Для перехода t7 с входным комплектом {p6, p6, p6} позиция p6 должна обладать по крайней мере тремя фишками, для того чтобы t7 был разрешён.

Определение 4. Переход tj Î T в маркированной сети Петри С = {Р, Т, I, O} с маркировкой m разрешён, если для всех pi Î P

.

Переход запускается удалением всех разрешающих фишек из его входных позиций и последующим помещением в каждую из его выходных позиций по одной фишке для каждой дуги. Кратные фишки создаются для кратных выходных дуг. Переход t3 с O(t3)={p7, p13} и I(t3)={p2} разрешён всякий раз, когда в p2 будет хотя бы одна фишка. Переход t3 запускается удалением одной фишки из позиции p2 и помещением по одной фишки в позиции p7 и в p13 (его выходы). Дополнительные фишки в позиции p2 не влияют на запуск t3 (хотя они могут разрешать дополнительные запуски t3).

Переход t2, в котором I(t2) = {p21, p23} и O(t2) = {p23, p25, p25} запускается удалением одной фишки из p21 и одной фишки из p23, при этом одна фишка помещается в p23 и две – в p25 (так как p25 имеет кратность, равную двум).

Запуск перехода в целом заменяет маркировку m сети Петри на новую маркировку . Заметим также, что так как можно запустить только разрешённый переход, то при запуске перехода количество фишек в каждой позиции всегда остаётся неотрицательным. Запуск перехода никогда не удалит фишку, отсутствующую во входной позиции. Если какая-либо входная позиция перехода не обладает достаточным количеством фишек, то переход не разрешён и не может быть запущен.

Определение 5. Переход tj маркированной сети Петри с маркировкой m может быть запущен всякий раз, когда он разрешён. В результате запуска разрешённого перехода tj образуется новая маркировка , определяемая следующим соотношением: .

 





Дата добавления: 2014-12-16; Просмотров: 325; Нарушение авторских прав?;


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Читайте также:



studopedia.su - Студопедия (2013 - 2018) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление ip: 54.198.86.28
Генерация страницы за: 0.002 сек.