КАТЕГОРИИ: Архитектура-(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) |
Разновидности сетей Петри
Правила срабатывания переходов Правила срабатывания переходов (рис. 5.12) конкретизируют следующим образом: переход срабатывает, если для каждой из его входных позиций выполняется условие Ni ³ Кi, где Ni – число маркеров в i -й входной позиции, Кi – число дуг, идущих от i -йпозиции к переходу; при срабатывании перехода число маркеров в i -й входной позиции уменьшается на Кi, а в j -й выходной позиции увеличивается на Мj, где Мj – число дуг, связывающих переход с j -й позицией.
Рис. 5.13. Фрагмент сети Петри перед срабатыванием перехода
На рис. 5.13 показан пример распределения маркеров по позициям перед срабатыванием, эту маркировку записывают в виде (2, 2, 3, 1). После срабатывания перехода (рис. 5.14) маркировка становится иной: (1, 0, 1, 4).
Рис. 5.14. Фрагмент сети Петри после срабатывания перехода
Можно вводить ряд дополнительных правил и условий в алгоритмы моделирования, получая ту или иную разновидность сетей Петри. Полезно ввести модельное время, чтобы моделировать не только последовательность событий, но и их привязку ко времени. Это осуществляется приданием переходам веса – продолжительности (задержки) срабатывания, которую можно определять, используя задаваемый при этом алгоритм. Полученную модель называют временн о й сетью Петри. Если задержки являются случайными величинами, то сеть называют стохастической. В стохастических сетях возможно введение вероятностей срабатывания возбужденных переходов. Если задержки определяются как функции некоторых аргументов, которыми могут быть количества маркеров в каких-либо позициях, состояния некоторых переходов и т. п., то сеть называют функциональной.
Во многих задачах динамические объекты могут быть нескольких типов, и для каждого типа нужно вводить свои алгоритмы поведения в сети. В этом случае каждый маркер должен иметь хотя бы один параметр, обозначающий тип маркера. Такой параметр обычно называют цветом; цвет можно использовать как аргумент в функциональных сетях. Такую сеть Петри называют цветной. Среди других разновидностей сетей Петри следует упомянуть ингибиторные (от англ. inhibit – запрещать) сети, характеризующиеся тем, что в них возможны запрещающие (ингибиторные) дуги. Маркер во входной позиции, связанной с переходом ингибиторной дугой, означает запрет срабатывания перехода.
Дата добавления: 2014-12-27; Просмотров: 826; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |