Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Вполне структурированные системы помеченных переходов
Глава 1. Вполне структурированные системы помеченных переходов
Предыдущая страница
Следующая страница
Table of contents
Предисловия рецензентов
Предисловие авторов
Введение
Глава 1. Вполне структурированные системы помеченных переходов
-
1.1. Предварительные сведения
1.1.1. Мультимножества
1.1.2. Квазиупорядоченные множества
1.1.3. Правильный квазипорядок
1.2. Системы помеченных переходов
1.2.1. Определение
1.2.2. Вполне структурированные системы помеченных переходов
1.2.3. Метод насыщения
1.2.4. Покрывающее дерево системы переходов
1.2.5. Строгая совместимость
1.2.6. Совместимость по убыванию
1.2.7.Системы переходов автоматного типа
1.3. Примеры вполне структурированных систем помеченных переходов
1.3.1. Сети Петри
1.3.2. Системы с ненадёжными каналами
1.3.3. Системы переходов, независимых от данных
Глава 2. Счетчиковые машины
+
Глава 3. Темпоральные свойства систем переходов
+
Список литературы
Предметный указатель
Данный блок поддерживает скрол*