Исследование свойств класса вполне структурированных систем переходов

Оглавление
Введение б
1 Предварительные сведения
1.1 Мультимножества
1.2 Квазиупорядоченные множества.
1.2.1 Свойство вполне упорядочиваемости
1.3 Системы помеченных переходов.
1.3.1 Определение .
1.3.2 Вполне структурированные системы переходов .
1.3.3 Покрывающее дерево системы переходов.
1.3.4 Метод насыщения .
1.3.5 Системы переходов с совместимостью по убыванию
1.4 Счтчиковые машины.
1.5 Темпоральные логики и проверка модели
1.5.1 Логики ветвящегося времени.
1.5.2 Логики линейного времени.
1.5.3 Сравнение логик
2 Темпоральные свойства вполне структурированных систем переходов
2.1 Системы переходов автоматного типа.
2.1.1 Разрешимые темпоральные свойства.
2.1.2 Неразрешимые темпоральные свойства
2.2 Вполне структурированные системы
переходов.
2.2.1 Разрешимые темпоральные свойства
2.2.2 Неразрешимые темпоральные свойства
2.3 Дерево логик.
3 Взаимодействующие раскрашивающие процессы
3.1 Взаимодействующие процессы
независимые от данных.
3.2 Взаимодействующие раскрашивающие
процессы
3.3 ССР вполне структурированная
система переходов.
3.4 Пример.
4 Недетерминированные счтчиковые машины
4.1 Введение
4.2 Недетерминированные счтчиковые машины.
4.3 Проблема ограниченности
4.4 Проблемы включения и эквивалентности.
4.4.1 Слабое вычисление.
4.4.2 Проблема включения
4.4.3 Проблема эквивалентности
4.5 Проблема достижимости
Заключение
Литература