Анализ апериодических схем и асинхронных процессов

ОГЛАВЛЕНИЕ
Введение.
1. Обзор работ по анализу апериодических схем и. асинхронных процессов . IX
1.1. Анализ апериодических схем ц
1.2. Анализ асинхронных процессов
1.3. Автоматизация анализа апериодических.схем и
асинхронных процессов .
Краткие выводы к разделу I
2. Анализ апериодических схем.
2.1. Основные понятия и определения
2.2. Полный анализ апериодических схем
2.3. Анализ рабочего множества схемы .
2.4. Преобразование схем
Краткие выводы к разделу 2Ю
3. Анализ асинхронных процессов Юз
3.1. Основные понятия и определения ЮЗ
3.2. Анализ сетей Петри . Ш
3.3. Способ представления сетей Петри. . цд
Краткие выводы к разделу 3
4. Автоматизация анализа асинхронных, схем и процессов . .
4.1. Архитектура системы автоматизации анализа .
. . асинхронных схем и процессов
4.2. Организация информационных обменов в системе 3 4.3. Организация формульных.и,табличных преобразований . .
булевых функций
. Краткие выводы.к.разделу.4.
Заключение .
Список литературы