stify"> Побудуємо мережу Петрі, відповідну даному асинхронному процесу з початковою розміткою M 1 :
В
Граф розміток і дерево досяжності
Граф розміток буде виглядати аналогічно відношенню безпосереднього проходження:
В
Дерево досяжності мережі Петрі:
В
6. Аналіз властивостей мережі Петрі
Властивості позицій
1. Обмеженість . Кожна позиція p мережі Петрі є обмеженою, тому що " p справедливо M (p) ВЈ < span align = "justify"> n, де n = 1, M (p) - функція, що повертає кількість фішок у позиції p. Отже, мережа в цілому є обмеженою. Про обмеженість можна також судити по дереву досяжності, а саме, мережа є обмеженою, тому що символ w відсутній у її дереві досяжності.
2. Безпека . Кожна позиція p мережі Петрі безпечна, тому що " p справедливо M (p) ВЈ < span align = "justify"> 1. Отже, мережа в цілому є безпечною.
3. Консервативність . При роботі мережі сума фішок у всіх позиціях не залишається постійною (1 або 2 фішки), тобто не виконується умова консервативності: "M1, M2 ГЋ R (N) справедливо. Отже, мережа не є консервативною. p align="justify"> Властивості переходів
1. Жвавість . Мережа Петрі називається живої , якщо всі її переходи живі. Перехід називається живим , якщо він є потенційно живим при будь досяжною в мережі розмітці. І, нарешті, перехід називається потенційно живим при розмітці M , якщо $ розмітка M ' ГЋ R (N), досяжна в мережі N від розмітки M/M ' Ві F (p, t). Таким чином, наша мережа не є живою, тому що $ перехід t 12 , який не є потенційно живим при розмітці M 5 .
2. Стійкість . Перехід називається