свойства (Раздаточные материалы)

Система дистанционного обучения betaСтр. 1Новосибирский Государственный Технический УниверситетСистема Дистанционного Обучения.:Меню:.ГлавнаяКниги/УчебникиЛабораторные работыОбратная связь.:Поиск:.ИскатьРасширенный поиск.:Часы:.Оглавление » СЕТИ ПЕТРИ » Анализ сетей Петри »Свойства сетей ПетриСвойства сетей ПетриПозиция pP сети Петри N = (P,Т,I,O) cначальной маркировкой  является k-ограниченной,k для любой достижимой маркировкиесли  ’(p)R(N, ). Позиция называется ограниченной,’если она является k-ограниченной для некоторогоцелого значения k. Сеть Петри ограниченна, если всеее позиции ограниченны.Позиция pP сети Петри N = (P,Т,I,O) cначальной маркировкой  является безопасной, еслиона является 1-ограниченной. Сеть Петри безопасна,если безопасны все позиции сети.Страница создана за 0.01 с.]------------------GZip сжатие:До сжатия:19 кб .После сжатия:4 кб.Всего:78% .Ваш IP:213.79.

8.71Сеть Петри N = (P,Т,I,O) с начальноймаркировкой  является сохраняющей, если для любойR(N, ) справедливодостижимой маркировки  ’следующее равенство:.НавигацияВверх<НазадВперед>ВнизТупик в сети Петри – один или множествопереходов, которые не могут быть запущены .Определим для сети Петри N с начальной маркировкой следующие уровни активности переходов:Уровень 0: Переход t обладает активностьюуровня 0 и называется мёртвым, если он никогда неможет быть запущен.http://tvp.iconix.ru/index.php?do=bk&b_id=1&gl=5&cat=26&hd=63&tt=406.06.2011 10:27:01Система дистанционного обучения betaСтр.

2Уровень 1: Переход t обладает активностьюуровня 1 и называется потенциально живым, еслисуществует такая  ’R(N, ), что t разрешён в  ’.Уровень 2: Переход t, обладает активностьюуровня 2 и называется живым, если для всякой  ’R(N, ) переход t является потенциально живым длясети Петри N с начальной маркировкой  ’.Сеть Петри называется живой, если все еёпереходы являются живыми.Задача достижимости: Для данной сети Петри сRмаркировкой  и маркировки  ’ определить:  ’(N, )?Задача покрываемости: Для данной сети Петри Nс начальной маркировкой  и маркировки  ’определить, существует ли такая достижимаяR(N, ), что  "  ’.маркировка”(Отношение  " ’ истинно, если каждыйэлемент маркировки  " не меньше соответствующегоэлемента маркировки  ’.)Сети Петри присуще некоторое поведение,которое определяется множеством ее возможныхпоследовательностей запусков переходовмножеством достижимых маркировок.или ееПонятиеэквивалентности сетей Петри определяется черезравенство множеств достижимых маркировок.Сеть Петри N = (P,Т,I,O) с начальноймаркировкой(P’,Т’,I’,O’)сисеть ПетриN’ =начальноймаркировкой’эквивалентны, если справедливо R(N, ) = R(N’, ’).Понятие эквивалентности сетей Петри может бытьопределено такжечерез равенствомножестввозможных последовательностей запусков переходов.Более слабым, по сравнению с эквивалентностью,является свойство включения, определение которогоhttp://tvp.iconix.ru/index.php?do=bk&b_id=1&gl=5&cat=26&hd=63&tt=406.06.2011 10:27:01Система дистанционного обучения betaсовпадает с определением.точностью до замены = наhttp://tvp.iconix.ru/index.php?do=bk&b_id=1&gl=5&cat=26&hd=63&tt=4Стр.

3эквивалентности,с06.06.2011 10:27:01.