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