Предисловие
Введение

Часть I. Описание алгоритмов логического управления

Глава 1. Язык АЛУ
1.1. Операции действия и ожидания
1.2. Линейные алгоритмы
1.3. Последовательные алгоритмы
1.4. Пример циклического алгоритма
1 5. Параллельные алгоритмы
1.6. Операция гашения
Глава 2. Язык ПРАЛУ
2.1. Простые алгоритмы логического управления
2.2. Пример со светофором
2.3. Другие примеры
2.4. Вертикально-протяжный станок
2.5. Расширение языка
Глава 3. Корректность алгоритмов логического управления
3.1. Общие соображения
3.2. Прямая схемная реализация
3.3. Схемы с комбинированными элементами
3.4. Определение корректности

Часть II. Анализ и верификация алгоритмов логического управления

Глава 4. Анализ на уровне сетевых моделей
4.1. альфа-сети и сети Петри
4.2. Анализ альфа-сетей
4 3. Проверка живости
4.4. Редукционный метод проверки живости и безопасности
Глава 5. Анализ операционных сетей Петри
5.1. Операционные сети Петри -- ОСП
5.2. Реализуемое сетью отношение
5.3. Декомпозиция ОСП на блоки
5.4. Анализ двухблочных композиций
5.5. Порядок анализа ОСП с бесконтурной макроструктурой
5.6. Декомпозиционный метод анализа ОСП
Глава 6. Анализ информационного взаимодействия
6.1. Параллельный автомат
6.2. Информационное взаимодействие цепочек

Часть III. Техническая реализация алгоритмов логического управления

Глава 7. Синтез микропроцессорных управляющих систем
7.1. Программная реализация параллельных алгоритмов логического управления
7.2. Декомпозиция параллельных алгоритмов логического управления
7.3. Равносильные преобразования ПРАЛУ-описаний
7.4. Выбор разбиения на множестве предложений
Глава 8. Кодирование состояний
8.1. Представление состояний параллельного автомата
8.2. Универсальный вытесняющий код
8.3. Алгоритмы кодирования частичных состояний
8.4. Метод минорных покрытий
8.5. Блочное кодирование частичных состояний
Глава 9. Схемная реализация параллельных алгоритмов логического управления
9.1. Секвенциальный автомат
9.2. Секвенциальная реализация параллельного автомата
9.3. Синтез ПЛМ, реализующей алгоритм логического управления
Литература
Предметный указатель