21.*Ингибиторные сети Петри. Моделирование элементарного цикла обслуживания ингибиторной сетью Петри. Пример моделирования системы или процесса ингибиторной сетью Петри.

Сеть Петри это ориентированный граф, содержащий позиции, определяющие условия, имеющиеся в системе, и переходы, отображающие связанные с этими условиями действия.

Ингибиторные сети Петри – содержат запрещающие, так называемые ингибиторные ветви. Такая ветвь запрещает активацию перехода при наличии достаточного количества меток во входных вершинах обычных дуг до тех пор, пока в ее входной вершине имеются метки. Во фрагменте сети Петри, приведенном на рис.22-а, ветвь а запрещает запуск перехода t1 при наличии метки в позиции P1. Пример реализации простейшего цикла обслуживания с использованием ингибиторной сети Петри представлен на рис.22-б. Здесь переход t2 при наличии метки в позиции Р2 будет «заперт» не смотря на наличии метки в вершине Р1 до тех пор, пока метка не покинет Р2 через переход t3, что эквивалентно завершению очередного обслуживания.