Активность

Другой задачей, возникающей при распределении ресурсов, является задача выявления тупиков. Рассмотрим систему, включающую два различных ресурса q и r и два процесса а) и в), нуждающиеся в обоих ресурсах. Каждый процесс запрашивает ресурс, а затем освобождает его. Процесс а) сначала запрашивает ресурс q, затем ресурс r, и освобождает их. Процесс в) работает аналогично, но запрашивает сначала ресурс r, а затем q.

а) в)

Начальная маркировка помечает ресурсы свободными и готовность процессов к работе. Выполнение сети в последовательности t₁, t₂, t₃, t₄, t₅, t₆ или t₄, t₅, t₆, t₁, t₂, t₃ не приводит к тупику. Если начать с переходов t₁, t₄ то выполнение заблокировано, процесс а) обладает ресурсом q и хочет получить r, процесс в) обладает r и хочет получить q.

Тупик в сети Петри – это переход (или множество переходов), которые не могут быть запущены. Переходы t₂ и t₅ являются тупиковыми. Переход называется активным, если он не заблокирован, то есть потенциально запустимым.