logo
моделирование-шпора

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

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

Ингибиторные сети Петри – содержат запрещающие (ингибиторные) ветви.

Моделирование цикла обслуживания