Інгібіторні сітки Петрі.

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

Інгібіторна сітка представляє собою сітку Петрі, доповнену спеціальною функцією інцидентності , яка вводить інгібіторні дуги для тих пар (p, t), у яких F _I(p, t) > 0.

В результаті умова збудження переходу t в інгібіторній сітці має наступний вигляд:

.

Інгібіторні дуги зв’язують тільки позиції з переходами (на рисунках їх відображають не стрілками, а маленькими колами) (рис. 3.7). Спрацьовування переходу в інгібіторній сітці виконується відповідно до правил простої сітки Петрі, тобто позиції, пов‘язані інгібіторними дугами з спрацьованим переходом не змінюють свого маркування.

В загальному випадку інгібіторні дуги можуть мати кратність , що призводить в умові збудження переходу до перевірки на неперевищення кількості маркерів значення кратності дуги.

Рис. 3.7. Інгібіторна сітка