НЕФТЬ-ГАЗ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

Теперь на нашем сайте можно за 5 минут создать свежий реферат или доклад

Скачать книгу целиком можно на сайте: www.nglib.ru.

<< Прочее <<

Котов В.Е. Сети Петри

Скачать книгу здесь
Автор: Котов В.Е.
Название: Сети Петри
Год издания: 1984
УДК: 519.6
Число страниц: 161
Содержание книги:
Предисловие
ОСНОВНЫЕ ПОНЯТИЯ
§ 1.1. Системы, процессы, сети
§ 1.2. Формальное определение сети Петри
СВОЙСТВА СЕТЕЙ ПЕТРИ И ИХ АНАЛИЗ
§ 2.1. Основные свойства сетей Петри
§ 2.2. Проблемы ограниченности и безопасности
§ 2.3. Проблемы Я-вкпючения и Д-эквивапентности
§ 2.4. Проблемы достижимости и живости
ЯЗЫКИ СЕТЕЙ ПЕТРИ
§ 3.1. Помеченные сети и классы языков сетей Петри
§ 3.2. Характеризация классов языков сетей Петри
§ 3.3. Разрешимые и неразрешимые свойства языков сетей Петри
ПОДКЛАССЫ СЕТЕЙ ПЕТРИ
§ 4.1. Ординарные сети Петри § 4.2. Автоматные сети и синхронизационные графы
§ 4.3. СвободныеЧ:ети
ОБОБЩЕНИЯ СЕТЕЙ ПЕТРИ
§ 5.1. Счетч и новые автоматы
§ 5.2. Ингибиторные сети и сети с приоритетами
§ 5.3. Раскрашенные, синхронные и самомодифицируемые сети
РЕГУЛЯРНЫЕ И ИЕРАРХИЧЕСКИЕ СЕТИ
§ 6.1. Алгебра регулярных сетей
§ 6.2. Некоторые свойства регулярных сетей
§ 6.3. Иерархические сети
§ 6.4. Сравнение иерархических сетей с другими классами сетей
§ 6.5. Сети с ожиданием и строго иерархические сети
СЕТИ-СИСТЕМЫ И СЕТИ-ПРОЦЕССЫ
§ 7.1. Процессы
§ 7.2. Сетевое представление параллельных процессов
§ 7.3. Сетевое представление последовательно-альтернативных процессов
§ 7.4. Сетевое представление параллельно-альтернативных процессов
§ 7.5. Развертка сетей Петри в сети-процессы
§ 7.6. Сетевое представление параллельных процессов с конкуренцией
СЕТИ ПЕТРИ И ПРОГРАММИРОВАНИЕ
§ 8.1. Сети Петри и семантика структур управления
§ 8.2. Потоковые сети
§ 8.3. Типы управления § 8.4. Петри-машина
Заключение
Литература
Словарь терминов
Глоссарий:
4 а б в г д е ж з и к л м н о п р с т у ф ц ч ш э я
Смотреть страницы:
2 3 19 34 49 64 79 94 109 124 139 154 157 160
Полнотекстовый поиск по книге:
Введите слово или фразу для поиска:
Близкие по содержанию книги:
Конечные графы и сети
Математика >> Вычислительная математика >> Теория графов

Просмотреть оригинальные страницы книг в формате djvu можно на сайте: www.nglib.ru.


Главный редактор проекта: Мавлютов Р.Р.
oglib@mail.ru