Существует много моделей для изучения тупиковых ситуаций. Наиболее часто используются 4 из них:
— сети Петри;
— вычислительные схемы;
— модели пр-ва состояний;
— модель Холта.
Сети Петри.
Взаимодействие событий параллельных асинхронных дескрипторных систем сложную дин-ю форму. Эти взаимодействие описывается проще если указывать не связи (непосредственные), а те ситуации при которых данное событие может реализовываться. При этом глобальные ситуации формируются с помощью лен-х операций называвших условиями реализации событий.
Определенное сочетание условий разрешают реализоваться некоторому событию, а реализация события изменяет некоторые условия, т.е. условия и события взаимодействуют между собой.
Т.о. для решения задач достаточно представить систему как структуру, образованную из элементов 2х типов: событий и условий.
В сетях Петри события и условия представлены абстрактными символами из 2х непересекающихся алфавитов, названных соответственно множеством переходов и множеством позиций.
Имеется несколько формальных представлений сетей Петри:
— теоретико-множественное;
— графическое;
— матричное.

Вычислительные схемы.
Вычислительная схема это представление в графической форме асинхронной системы состоит из набора операторов, которые воздействуют на данные. Каждая вычислительная схема определяется с помощью 2х графов потока данных и графа управления.
Граф потока данных или информационный граф определяет входные и выходные данные для каждого оператора. Дуга от регистра к оператору означает, что данные являются элементом входных данных этого оператора. Соответственно дуга в обратном направлении определяет данные как выходные.
Граф управления определяет последовательность выполнения операторов. Кождый оператор связан с некоторым количеством управляющих счетчиков. Каждый из управляющих счетчиков содержит неотрицательное целое число. Текущее значение счетчика совместно со значением данных на график потока данных определяет состояние вычислительной схемы.