анализ (Раздаточные материалы), страница 2

Вэтом случае на пути от начальной маркировки кпокрывающей маркировке имеется повторяющаясяпоследовательностьпереходов,запусккоторойувеличивает значение маркировки в позиции p. Числотаких повторений должно быть таким, чтобы значениемаркировки в позиции p превзошло или сравнялось с '(p).Анализ живости. Переход t сети Петри являетсяпотенциально живым, тогда и только тогда, когда онметит некоторую дугу в дереве достижимости сети.Доказательство очевидно.Ограниченность метода дерева достижимости.Как видно из предыдущего, дерево достижимостиhttp://tvp.iconix.ru/index.php?do=bk&b_id=1&gl=5&cat=26&hd=64&tt=406.06.2011 10:26:19Система дистанционного обучения betaСтр.

9можно использовать для решения задач безопасности,ограниченности, сохранения и покрываемости. Ксожалению, в общем случае его нельзя использоватьдля решения задач достижимости и активности,эквивалентности. Решение этих задач ограниченосуществованием символа  . Символ  означаетпотерю информации: конкретные количества фишекотбрасываются, учитывается только существование ихбольшого числа.Матричные уравнения.Другой подход к анализу сетей Петри основан наматричном представлении сетей Петри и решенииматричных уравнений. Альтернативным по отношениюк определению сети Петри N в виде (P,T,I,O) являетсяопределение сети N в виде двух матриц D  и D ,+представляющих входную и выходную функции I и O.+Пусть каждая из матриц D и D имеет m = T строк(по одной на переход) и n = P столбцов (по одномуна позицию).Матричный вид сети Петри N = (P,T,I,O) задаётсяпарой (D ,D+), гдеD[k,i] = #(p i,tk) – кратность дуги, ведущей из^позиции pi в переход tk;D+[k,i] = # (pi,tk ) – кратность дуги, ведущей из^перехода tk в позицию pi ,для произвольных 1km, 1in.Пусть e[k] — m-вектор, k-тый элемент которогоравен 1, а остальные равны 0.

Переход tk , 1km,вмаркировкеразрешен ,http://tvp.iconix.ru/index.php?do=bk&b_id=1&gl=5&cat=26&hd=64&tt=4еслиe[k] D .06.06.2011 10:26:19Система дистанционного обучения betaСтр. 10Результатом запуска разрешённого перехода tk вмаркировке  является маркировка  ’: ’=  - e[k]D  + e[k] D += + e[k]D ,где D=(D - D) — составная матрица изменений.+http://tvp.iconix.ru/index.php?do=bk&b_id=1&gl=5&cat=26&hd=64&tt=406.06.2011 10:26:19.