Шаг 23.
Сети Петри.
Анализ сетей Петри. Активность сети Петри

    На этом шаге мы введем понятия тупика и активного перехода.

    Рассмотрим систему, включающую два различных ресурса 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. Переход называется активным, если он не заблокирован (нетупиковый).

    На следующем шаге мы рассмотрим достижимость и покрываемость.




Предыдущий шаг Содержание Следующий шаг