Исходные данные. Выполнение работы

⇐ ПредыдущаяСтр 2 из 2

Исходные данные

№

варианта

№ схемы

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

m₁

m₂

m₃

m₄

m₅

m₆

Выполнение работы

P={p₁, p₂, p₃, p₄, p₅, p₆}

T={t₁, t₂, t₃, t₄, t₅, t₆}

Начальная маркировка M₀[0 1 0 0 1 1]

2. Дерево разметок

= 0	= 1	= 2	= 3	= 4	= 5
[0,1,0,0,1,1] M₀	t1:[1,0,0,0,1,1] M₁
		t5:[1,0,1,0,0,2] M₅тупик
		t6:[1,1,0,0,0,1] M₆
			t1:[2,0,0,0,0,2] M₁₁тупик
			t2:[1,2,0,1,0,1] M₁₂
				t1:[2,1,0,1,0,1] M₂₀
					t1:[3,0,0,1,0,1] M₃₃
					t2:[2,2,0,2,0,1] M₃₄
					t3:[1,0,1,2,0,1] M₃₅
				t1:[1,3,0,2,0,1] M₂₁
					t1:[2,2,0,2,0,1] M₃₄повтор
					t2:[1,4,0,3,0,1] M₃₆
	t2:[0,2,0,1,1,1] M₂
		t1:[1,1,0,1,1,1] M₇
			t1:[2,0,0,1,1,1] M₁₃
				t5:[2,0,1,1,0,2] M₂₂
					t4:[2,0,0,0,1,3] M₃₇
				t6:[2,1,0,1,0,1] M₂₀повтор
			t2:[1,2,0,2,1,1] M₁₄
				t1:[2,1,0,2,1,1] M₂₃
					t1:[3,0,0,2,1,1] M₃₈
					t2:[2,2,0,3,1,1] M₃₉
					t3:[1,0,1,3,1,1] M₄₀
					t5:[2,1,1,2,0,2] M₄₁
					t6:[2,2,0,2,0,1] M₃₄повтор
				t2:[1,3,0,3,1,1] M₂₄
					t1:[2,2,0,3,1,1] M₃₉повтор
					t2:[1,4,0,4,1,1] M₄₂
					t5:[1,3,1,3,0,2] M₄₃
					t6;[1,4,0,3,0,1] M₃₆повтор
				t5:[1,2,1,2,0,2] M₂₅
					t1:[2,1,1,2,0,2] M₄₁
					t2:[1,3,1,3,0,2] M₄₃
					t4:[1,2,0,1,1,3] M₄₄
				t6:[1,3,0,2,0,1] M₂₁
			t5:[1,1,1,1,0,2] M₁₅
				t1:[2,0,1,1,0,2] M₂₂повтор
				t2:[1,2,1,2,0,2] M₂₅повтор
				t4:[1,1,0,0,1,3] M₂₆
					t1:[2,0,0,0,1,3] M₃₇повтор
					t2:[1,2,0,1,1,3] M₄₄повтор
					t5:[1,1,1,0,0,4] M₄₅
					t6:[1,2,0,0,0,3] M₄₆
			t6:[1,2,0,1,0,1] M₁₂повтор
		t2:[0,3,0,2,1,1] M₈
			t1:[1,2,0,2,1,1] M₁₄
			t2:[0,4,0,3,1,1] M₁₆повтор
				t1:[1,3,0,3,1,1] M₂₄повтор
				t2:[0,5,0,4,1,1] M₂₇
					t1:[1,4,0,4,1,1] M₄₂ повтор
					t2:[0,6,0,5,1,1] M₄₇
					t5:[0,5,1,4,0,2] M₄₈
					t6:[0,6,0,4,0,1] M₄₉
				t5:[0,4,1,3,0,2] M₂₈
					t1:[1,3,1,3,0,2] M₄₃повтор
					t2:[0,5,1,4,0,2] M₄₈повтор
					t4:[0,4,0,2,1,3] M₅₀
				t6:[0,5,0,3,0,1] M₂₉
					t1:[1,4,0,3,0,1] M₃₆повтор
					t2:[0,6,0,4,0,1] M₄₉повтор
			t5:[0,3,1,2,0,2] M₁₇
				t1:[1,2,1,2,0,2] M₂₅повтор
				t2:[0,4,1,3,0,2] M₂₈повтор
				t4:[0,3,0,1,1,3] M₃₀
					t1:[1,2,0,1,1,3] M₄₄повтор
					t2:[0,4,0,2,1,3] M₅₀повтор
					t5:[0,3,1,1,0,4] M₅₁
					t6:[0,4,0,1,0,3] M₅₂
			t6:[0,4,0,2,0,1] M₁₈
				t1:[1,3,0,2,0,1] M₂₁повтор
				t2:[0,5,0,3,0,1] M₂₉повтор
		t5:[0,2,1,1,0,2] M₉
			t1:[1,1,1,1,0,2] M₁₅повтор
			t2:[0,3,1,2,0,2] M₁₇повтор
			t4:[0,2,0,0,1,3] M₁₉
				t1:[1,1,0,0,1,3] M₂₆ повтор
				t2:[0,3,0,1,1,3] M₃₀ повтор
				t5:[0,2,1,0,0,4] M₃₁
					t1:[1,1,1,0,0,4] M₄₅повтор
					t2:[0,3,1,1,0,4] M₅₁повтор
				t6:[0,3,0,0,0,3] M₃₂
					t1:[1,2,0,0,0,3] M₄₆повтор
					t2:[0,4,0,1,0,3] M₅₂повтор
		t6:[0,3,0,1,0,1] M₁₀
			t1:[1,2,0,1,0,1] M₁₂повтор
			t2:[0,4,0,2,0,1] M₁₈ повтор
	t5:[0,1,1,0,0,2] M₃
		t1:[1,0,1,0,0,2] M₅повтор
		t2:[0,2,1,1,0,2] M₉ повтор
	t6:[0,2,0,0,0,1] M₄
		t1:[1,1,0,0,0,1] M₆повтор
		t2:[0,3,0,1,0,1] M₁₀ повтор

3. Словарь свободногоязыка

{l, t1, t2, t5, t6,

t1t5(тупик), t1t6, t2t1, t2t2, t2t5, t2t6, t5t1(тупик), t5t2, t6t1, t6t2,

t1t6t1(тупик), t1t6t2, t2t1t1, t2t1t2, t2t1t5, t2t1t6, t2t2t1, t2t2t2, t2t2t5, t2t2t6, t2t5t1, t2t5t2, t2t5t4, t2t6t1, t2t6t2, t5t2t1, t5t2t2, t5t2t4, t6t1t1(тупик), t6t1t2, t6t2t1, t6t2t2,

t1t6t2t1, t1t6t2t2, t2t1t1t5, t2t1t1t6, t2t1t2t1, t2t1t2t2, t2t1t2t5, t2t1t2t6, t2t1t5t1, t2t1t5t2, t2t1t5t4, t2t1t6t1, t2t1t6t2, t2t2t1t1, t2t2t1t2, t2t2t1t5, t2t2t1t6,t2t2t2t1, t2t2t2t2, t2t2t2t5, t2t2t2t6, t2t2t5t1, t2t2t5t2, t2t2t5t4, t2t2t6t1, t2t2t6t2, t2t5t1t1, t2t5t1t2, t2t5t1t4, t2t5t2t1, t2t5t2t2, t2t5t2t4, t2t5t4t1, t2t5t4t2, t2t5t4t5, t2t5t4t6, t2t6t1t1, t2t6t1t2, t2t6t2t1, t2t6t2t2, t5t2t1t1, t5t2t1t2, t5t2t1t4, t5t2t2t1, t5t2t2t2, t5t2t2t4, t5t2t4t1, t5t2t4t2, t5t2t4t5, t5t2t4t6, t6t1t2t1, t6t1t2t2, t6t2t1t1, t6t2t1t2, t6t2t2t1, t6t2t2t2,

t1t6t2t1t1, t1t6t2t1t2, t1t6t2t1t3, t1t6t2t2t1, t1t6t2t2t2,

t2t1t1t5t4, t2t1t1t6t1, t2t1t1t6t2, t2t1t1t6t3, t2t1t2t1t1, t2t1t2t1t2, t2t1t2t1t3, t2t1t2t1t5, t2t1t2t1t6, t2t1t2t2t1, t2t1t2t2t2, t2t1t2t2t5, t2t1t2t2t6, t2t1t2t5t1, t2t1t2t5t2, t2t1t2t5t4, t2t1t2t6t1, t2t1t2t6t2, t2t1t5t1t4, t2t1t5t2t1, t2t1t5t2t2, t2t1t5t2t4, t2t1t5t4t1, t2t1t5t4t2, t2t1t5t4t5, t2t1t5t4t6, t2t1t6t1t1, t2t1t6t1t2, t2t1t6t1t3, t2t1t6t2t1, t2t1t6t2t2,t2t2t1t1t1, t2t2t1t1t2, t2t2t1t1t3, t2t2t1t1t5, t2t2t1t1t6, t2t2t1t2t1, t2t2t1t2t2, t2t2t1t2t5, t2t2t1t2t6, t2t2t1t5t1, t2t2t1t5t2, t2t2t1t6t1, t2t2t1t6t2, t2t2t2t1t1, t2t2t2t1t2, t2t2t2t1t5, t2t2t2t1t6, t2t2t2t2t1, t2t2t2t2t2, t2t2t2t2t5, t2t2t2t2t6, t2t2t2t5t1, t2t2t2t5t2, t2t2t2t5t4, t2t2t2t6t1, t2t2t2t6t2, t2t2t5t1t1, t2t2t5t1t2, t2t2t5t1t4, t2t2t5t2t1, t2t2t5t2t2, t2t2t5t2t4, t2t2t5t4t1, t2t2t5t4t2, t2t2t5t4t5, t2t2t5t4t6, t2t2t6t1t1, t2t2t6t1t2, t2t2t6t2t1, t2t2t6t2t2, t2t5t1t1t4, t2t5t1t2t1, t2t5t1t2t2, t2t5t1t2t4, t2t5t1t1t1, t2t5t1t1t2, t2t5t1t1t5, t2t5t1t1t6, t2t5t2t1t1, t2t5t2t1t2, t2t5t2t1t4, t2t5t2t2t1,t2t5t2t2t2, t2t5t2t2t4, t2t5t2t4t1, t2t5t2t4t2, t2t5t2t4t5, t2t5t2t4t6, t2t5t4t1t1, t2t5t4t1t2, t2t5t4t1t5, t2t5t4t1t6, t2t5t4t2t1, t2t5t4t2t2, t2t5t4t2t5, t2t5t4t2t6, t2t5t4t5t1, t2t5t4t5t2, t2t5t4t6t1, t2t5t4t6t2,t2t6t1t1t1, t2t6t1t1t2, t2t6t1t1t3, t2t6t1t2t1, t2t6t1t2t2, t2t6t2t1t1, t2t6t2t1t2, t2t6t2t2t1, t2t6t2t2t2,

t5t2t1t1t4, t5t2t1t2t1, t5t2t1t2t2, t5t2t1t2t4, t5t2t1t4t1, t5t2t1t4t2, t5t2t1t4t5, t5t2t1t4t6 t5t2t2t1t1, t5t2t2t1t2, t5t2t2t1t4, t5t2t2t2t1, t5t2t2t2t2, t5t2t2t2t4, t5t2t2t4t1, t5t2t2t4t2, t5t2t2t4t5, t5t2t2t4t6t5t2t4t1t1, t5t2t4t1t2, t5t2t4t1t5, t5t2t4t1t6, t5t2t4t2t1, t5t2t4t2t2, t5t2t4t2t5, t5t2t4t2t6, t5t2t4t5t1, t5t2t4t5t2, t5t2t4t6t1, t5t2t4t6t2,

t6t1t2t1t1, t6t1t2t1t2, t6t1t2t1t3, t6t1t2t2t1, t6t1t2t2t2, t6t2t1t1t1, t6t2t1t1t2, t6t2t1t1t3, t6t2t1t2t1, t6t2t1t2t2, t6t2t2t1t1, t6t2t2t1t2, t6t2t2t2t1, t6t2t2t2t2}

4. Свойства сети

Сеть не ограничена, т.к. возможен неограниченный рост .

Сеть не безопасна, т.к. не ограничивается 0 и 1, следовательно, не выполняется условие для всех .

Сеть не консервативна, т.к. сумма фишек меняется от позиции к позиции.

В данной сети все переходы потенциально живы и потенциально мертвы, т.к. в ней достижима тупиковая разметка (М₅, М₁₁), следовательно, сеть не может быть живой.

Устойчивых переходов в сети нет.

⇐ Предыдущая 12