Начальная маркировка

Cтраница 1

Начальная маркировка [ д, состоит точно из одной фишки в начальной позиции ps и не имеет фишек в других позициях. [1]

Мы допускаем, что начальная маркировка безопасна. Заметим, что такая принудительная безопасность возможна только для позиций, которые в начальной маркировке являются безопасными и входная и выходная кратность которых равна 0 или 1 для всех переходов. Позиция, имеющая для некоторого перехода выходную кратность 2, будет получать при его запуске две фишки и, следовательно, не может быть безопасной. [2]

Для решения задач исследования свойств Г - сети с заданной начальной маркировкой используется подход на основе дерева достижимости, который базируется на графовом представлении множества достижимости Г - сети. Дерево достижимости - это исходящее дерево, вершинам которого соответствуют достижимые маркировки. Начальной маркировке соответствует корневая вершина. Пассивным маркировкам, в которых недопустима никакая трансформация и невозможно ни одно перемещение, соответствуют висячие вершины. Для обеспечения конечности дерева достижимости предложены средства, аналогичные используемым в [7.5], в результате применения которых при построении дерева достижимости даже для неограниченных Г - сетей оно получается конечным. [3]

Маркированная сеть Пет - [ IMAGE ] Первый шаг построения ри, для которой строится дерево до - дерева достижимости, стижимости.| Второй шаг построения дерева достижимости. [4]

Это ( частичное) дерево показывает все маркировки, непосредственно достижимые из начальной маркировки. [5]

Алгоритм начинается с обработки первой граничной вершины - корня дерева, соответствующего начальной маркировке и заканчивается тогда, когда не остается граничных вершин. [6]

Расположение меток, адекватное начальным ( исходным) условиям работы сети называется начальной маркировкой. [7]

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

Построение-сетей Петри С, D и Е из Л и В, используемое для доказательства сводимости задачи подмножества для множеств достижимости к задаче равенства. [9]

Далее вводятся еще одна позиция s, и два новых перехода, tA и tB - Начальная маркировка всей сети ( включая Л и В как подсети с общими позициями; позиции ГА, ГБ и s; переходы tA и tB) определяется одной фишкой в s и нулем в остальных. Переход tA имеет в качестве входа s, а выход его порождает начальную маркировку сети Л плюс фишку в ГА; переход tB в качестве входа также имеет s, а выход его создает начальную маркировку сети В плюс фишку в гв. [10]

Если вершина vt не активна ( А ( г)), то существует маркировка ц, достижимая из некоторой начальной маркировки ц, при которой во всех достижимых из и маркировках по крайней мере одна из позиций I ( vt) будет пуста. [11]

Формально метка - это знак выполнения соответствующего условия. Начальная маркировка СП есть начальное состояние системы. [12]

Дерево достижимости представляет множество достижимости сети Петри. В этой начальной маркировке разрешены два перехода: ti и / 2 - Поскольку мы хотим рассмотреть все множества достижимости, определим новые вершины в дереве достижимости1) для ( достижимых) маркировок, получающихся в результате запуска каждого из этих двух переходов. [13]

Если число позиций в этих сетях не равно, добавим позиции в ту сеть, где их меньше с тем, чтобы уравнять число позиций. Эти позиции не имеют начальной маркировки и не связаны с какими-либо переходами в сети. [14]

Если какой-либо элемент Dt достижим из начальной маркировки, сеть Петри неактивна, если же никакой элемент Dt недостижим - сеть Петри активна. [15]

Страницы: 1 2 3