Исследуются группы автоматов, образованных взаимными блокировками перестановочных автоматов. Найдены группы максимальных взаимных блокировок любых перестановочных автоматов. Введено понятие моделирования конечного автомата полугруппой транзакций другого автомата. Дан алгоритм построения модели конечного перестановочного автомата взаимно блокирующими соединениями перестановочных триггеров.
