-
Пройти Антиплагиат ©



Главная » Теория вычислительных процессов » 11.2 Решение задачи достижимости с помощью матричного подхода.



Решение задачи достижимости с помощью матричного подхода.

Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная. Уникализировать текст 



Замечание. Пример.
Для данной СП С=(P, T, D-, D+) требуется определить, достижима ли маркировка μ' из маркировки μ.
Если маркировка μ' достижима из μ, то существует последовательность (возможно пустая) запусков переходов σ, которая приводит из μ к μ'. Следовательно, f(σ) является целым неотрицательным решением следующего матричного уравнения относительно х:μ'=μ+xD,где x=f(σ)=(x1, x2, …, xm), m=|T|.
 
Пример. Для требуется определить, достижима ли маркировка μ'=(0, 1, 0) из μ=(0, 0, 2).
Для решения данной задачи воспользуемся уравнением μ'=μ+xD:
 
(0, 1, 0)=(0, 0, 2)+(x1, x2, x3)
 
Пусть x1=x3=1, тогда x2=0. Таким образом, для получения μ' из μ требуется запустить по одному разу переходы t1 и t3, если это возможно.
Замечание. Существование целого неотрицательного решения уравнения μ'=μ+xD является необходимым, но не достаточным условиемnдля достижимости μ'.
В сети Петри (С, 0) допустима бесконечная последовательность запусков σ* тогда и только тогда, когда из μ0 достижима маркировка μ, из которой допустима повторяющаяся последовательность σ*.
 
Решение задачи сохранения с помощью матричного подхода. Пример
СП является сохраняющей тогда и только тогда, когда существует такой положительный вектор W, что выполняется DW=0.
 
Пример: Дана СП . Определить, является ли сеть сохраняющей по отношению к вектору.
Решим систему уравнений DW=0.

Система имеет множество решений. Пусть w2=3, тогда w1=1, w3=3/2. Таким образом, сеть является сохраняющей по отношению к вектору взвешивания W=(1, 3, 3/2).



Лекция, реферат. Решение задачи достижимости с помощью матричного подхода. - понятие и виды. Классификация, сущность и особенности. 2021.

Оглавление книги открыть закрыть




« назад Оглавление Следующая глава »
11.1 Решение задачи покрываемости и достижимости сетей Петри на основе дерева достижимости. « | »






 

Похожие работы:

Воспользоваться поиском

 

Учебники по данной дисциплине

Шпоры по математике
Общая статистика. Конспект лекций
Статистика коммерческой деятельности