На этом шаге мы введем понятия тупика и активного перехода.
Рассмотрим систему, включающую два различных ресурса q и r и два процесса а и b. Если оба процесса нуждаются в обоих ресурсах им необходимо будет совместно использовать ресурсы. Для выполнения этого требуется, чтобы каждый процесс запрашивал ресурс, а затем освобождал его. Предположим, что процесс а сначала запрашивает ресурс q, затем ресурс r и, наконец, освобождает и q, и r. Процесс b работает аналогично, но сначала запрашивает r, а затем q (рисунок 1).
Рис.1. Распределение ресурсов для случая двух процессов (a и b) и двух ресурсов (q и r)
Начальная маркировка помечает ресурсы q (Р4) и r (Р5) доступными и указывает на готовность процессов a и b. Одним выполнением этой сети является t1 t2 t3 t4 t5 t6; другим t4 t5 t6 t1 t2 t3. Ни одно из этих выполнений не приводит к тупику. Однако рассмотрим последовательность, которая начинается переходами t1, t4, а процесс а обладает ресурсом q, чтобы получить r; процесс b обладает ресурсом r, чтобы получить q.
Система заблокирована, то есть никакой процесс продолжаться не может. Тупик в сети Петри - это переход (или множество переходов), которые не могут быть запущены. В сети Петри (рисунок 1) тупик возникает, если нельзя запустить переходы t2, t5. Переход называется активным, если он не заблокирован (нетупиковый).
На следующем шаге мы рассмотрим достижимость и покрываемость.
