Page 136 - 2579

Рисунок 6.4 – Мережа Петрі, яка може бути
заблокованою

На рисунку 15.2 зображено МП, яка може
перейти, в такий стан, коли жоден з переходів не
буде збудженим. Мережа в такому стані
називається заблокованою. Розмітка задається так
М = [2, 0, 0]; Р = { 1, 2, 3}; n(P) = 3; а,b,c,d –
переходи.
Переходи a, b можуть бути збудженими, а
переходи c,d – ні. У результаті збудження та
спрацювання переходу а отримаємо розмітку
1
m =[1, 1, 0], за якою збуджується переходи а, b, c.
У разі спрацювання переходу с отримаємо мережу
2
з новою розміткою m = [2, 0, 0], а якщо b – то [0, 1
,1] – заблоковано.
У МП паралельне спрацювання переходів
обмежується тільки кількістю маркерів у вузлах,
тобто для спрацювання переходів мають бути
маркери у всіх вхідних вузлах.

130