Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Вполне структурированные системы помеченных переходов
Глава 1. Вполне структурированные системы помеченных переходов
Предыдущая страница
Следующая страница
Оглавление
Предисловия рецензентов
Предисловие авторов
Введение
Глава 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. Темпоральные свойства систем переходов
+
Список литературы
Предметный указатель
Данный блок поддерживает скрол*