Cтраница 1
Начальная разметка А - сети безопасна по определению. В силу условия А1Т любое место может иметь в качестве входных переходов только альтернативные переходы. [1]
Начальная разметка сети N помещает в ее места 3 фишки, сети Л / 2 - 2 фишки, поэтому сеть Л / i расщепляется на три последовательные сети Nl i, N j2, Л /, 3 со стандартной разметкой, сеть Л / 2 - на две сети N2 i Nii - Ha Рис - 7.12, в и г показаны сети N и N2 после переиндексации переходов и объединения разверток расщеплений а одну сеть. [2]
Начиная от начальной разметки М0, убеждаемся, что любая достижимая в Л / разметка представляет собой такую конкатенацию. [3]
Сети-процессы имеют начальную разметку, причем стандартную: только головные места содержат по одной фишке. [4]
Развертка примитивной сети с произвольной начальной разметкой осуществляется сведением к рассмотренному выше случаю сети со стандартной начальной разметкой. С этой целью производится предварительное преобразование расщепления исходной сети на совокупность примитивных сетей со стандартной разметкой. Расщепление осуществляется следующим образом. [5]
Положим, M in - минимальная начальная разметка. [6]
Следующая теорема характеризует эффект увеличения начальной разметки в сети. [7]
Заменим в сети / V начальную разметку М0 на разметку М, после чего построим полное покрывающее дерево для полученной сети с начальной разметкой М, являющейся корнем этого дерева. [8]
Из сетей А и В убрана начальная разметка. Она устанавливается переходами 11 и г 2 способом, указанным на рис. 2.10. На нем показан пример, как начальная разметка мест plr рг, р3 может быть задана с помощью дополнительного перехода и одного места р0 с единичной начальной разметкой. [9]
Содержимое БНЗ записывается на диск при его начальной разметке ( форматировании) независимо от того, записываются ли на диск системные файлы с другими модулями ДОС. [10]
Теорема 7.8. Результатом развертки примитивной сети со стандартной начальной разметкой является S-сеть. [11]
Заметим, что развертка примитивной сети с произвольной начальной разметкой может привести к сети, не являющейся S-сетью, т.е. теорема 7.8 не верна для этого случая. Например, сеть на рис. 7.11, в является 4-сетью. Для получаемых сетей-процессов выполняется ограничение А10 ( см. § 7.3), т.е. каждый переход имеет ровно одну входную и ровно одну выходную дуги, но нарушается требование А9 к S-сети иметь ровно одно головное место. В то же время теорема 7.9 остается верной и для случая примитивной сети с произвольной разметкой. [12]
Другими словами, при завершении составного перехода восстанавливается начальная разметка его внутренних мест, а его выходные места получают дополнительные фишки. [13]
Из теоремы 4.9 следует, что если изменить начальную разметку сети, удовлетворяющей условию данной теоремы, удалив из сети все фишки, кроме фишек в ловушках, то полученная сеть останется живой. [14]
Сеть Л / будет отличаться от сети Л / лишь начальной разметкой, в которой место р не имеет фишки. [15]