Page 134 - 2579

спрацювання переходів. Для того, щоб перехід міг
спрацювати, необхідне використання певних умов,
які визначаються наявністю маркерів у вузлах
мережі, з’єднаних з переходом. Якщо умови
настання подій подій виконано, то вважають що
перехід збуджений. Переходи позначаються
короткими вертикальними або горизонтальними
лініями.
Вузли та переходи з’єднуються
орієнтованими ребрами (дугами). Вузли, з яких
виходять дуги до певного переходу називаються
вхідними, а вузли до яких ведуть дуги називають
вихідними. Два вузли або два переходи
з’єднюватись дугами не можуть. Кожний перехід
може бути з’єднаним з вузлом тільки однією дугою
(вхідною або вихідною).
Вузли можна розглядати як певні умови, а
переходи як події. Таким чином, стан мережі в
кожний момент часу задається системою умов. Для
зручності задання умов у мережі Петрі вводяться
маркери, які зображуються крапками в середині
вузлів. Виникнення певної комбінації маркерів у
вузлах призводить до настання деякої події, яка в
свою чергу викликає зміну стану умов мережі.

а) спрацювання переходу б) після переходу
Рисунок 6.3 - Проста мережа Петрі

128