Page 137 - 2579

Перехід, в якого немає жодного вхідного
вузла завжди є збудженим і може генерувати
маркери. Перехід, який немає жодної вихідної
дуги, і має тільки 1 вхідну дугу збуджений тільки
тоді, якщо вхідний вузол містить маркер. Такий
перехід може знищувати маркери.

Правила маркування
1 Перехід збуджується тоді, коли число, яке
визначає кількість маркерів у кожному вхідному
вузлі > або = 1;
2 Якщо збуджений перехід спрацьовує, то
число маркерів у всіх вхідних вузлах, які містять
маркери, зменшується на 1, у всіх вихідних вузлах
збільшується на 1. Кількість маркерів не можу бути
меншою за 0.
Приклад 6.3
Два обчислювальні процеси Пр 1 і Пр 2
намагаються одночасно записати дані в пам’ять в
П1 і зчитати з П2. Проблема – синхронізація
доступу до пам’яті. Активний тільки один процес.

М1 = [1, 0, 1, 0, 1]. Якщо процес Пр1 хоче
змінити свій стан на активний ( записати дані) він
збуджує свій перехід і зманює розмітку на пасивну

131