мо в інгібіторні дуги (t1, p1) і (t2, p2).
Далі, вимикач key з'єднаємо забирающей фішку дугою (key, t1) з першим переходом t1, возвращающей фішку дугою (t2, key) з другим переходом t2і возвращающей фішку дугою (t3, key) з третім переходом t3..
Приклад перетворення зображений на Рис. 3
Спрацювання переходу t1 відповідає початку (спробі) спрацьовування переходу t в вихідної мережі і може статися тільки при відсутності фішок в p1.
За побудовою після спрацьовування переходу t1 може послідувати тільки одне з двох спрацьовувань: t2 або t3 (всі інші переходи вимкнені).
Рис. 3. Побудова мережі, в якій кожному переходу інцидентне не більше однієї інгібіторної дуги цьому t2 може спрацювати тільки у разі відсутності фішок в p2. Срабативаніяt2 і t3 включають інші переходи. При цьому спрацьовування t2 відповідає успішному завершенню спрацьовування t в вихідної мережі, а t3 - скасування спрацьовування.
мережу петри моделювання дискретний
Очевидно, що безліч досяжності побудованої мережі збігається з безліччю досяжності вихідної мережі (без урахування розмітки нових позицій, які можуть містити не більше однієї фішки).
. Приклад використання інгібіторної дуги
Ріс.5.Імітація появи та усунення відмов шляхом введення інгібіторної дуги
Поява і усунення відмов обладнання
Відмова елемента системи є випадковою подією, а його усунення триває протягом випадкового часу. У перехід між позиціями початку P1 іокончанія P2 операції вводять ингибиторную дугу, що закриває рух маркерів на час виникнення та усунення відмови (рис. 5).
У нормальному режимі маркери рухаються від позиції P1 до позиції P2 через перехід t1. Середнє число відмов генерується датчиком випадкових чисел ДСЧ 1. При цьому в позиціях P3, P4 з'являється N маркерів і перехід t1 закривається ингибиторной дугою. Одночасно маркер з позиції P5 переходить в позицію P6 усунення відмов і затримується в ній на випадковий час Z усунення відмови, задане датчікомслучайних чисел ДСЧ 2. Після усунення відмови маркер переходить в позицію P5 і перехід t2 відкривається для усунення наступної відмови. Усунення N відмов призводить до відкривання переходу t2 і продовженню роботи.
Список використаних джерел
1. Навчальний курс МГТУ ім. Баумана Основи САПР. Моделювання. Мережі Петрі. Аналіз мереж Петрі
. Мережі Петрі на сайті Інституту автоматики і процесів управління. Вихідні тексти прикладів програм, що реалізують мережі Петрі і строгоіерархіческіе мережі.
. Конюх У-Л-Імітаційне моделювання динаміки автоматизованого виробництва//Автоматизація в промисловості. 2008. № 4. C. 14-16.
