Теория сетей Петри и моделирование систем

  

Питерсон Дж. Теория сетей Петри и моделирование систем: Пер. с англ. — М.: Мир, 1984. — 264 с.

В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации.

Для научных работников, аспирантов и студентов старших курсов втузов.



Оглавление

ПРЕДИСЛОВИЕ К РУССКОМУ ИЗДАНИЮ
ГЛАВА 1. ВВЕДЕНИЕ
ГЛАВА 2. ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ
2.1. Структура сети Петри
2.2. Графы сетей Петри
2.3. Маркировка сетей Петри
2.4. Правила выполнения сетей Петри
2.5. Пространство состояний сети Петри
2.6. Альтернативные формы определения сетей Петри
ГЛАВА 3. СЕТИ ПЕТРИ ДЛЯ МОДЕЛИРОВАНИЯ
3.2. Одновременность и конфликт
3.3. Аппаратное обеспечение ЭВМ
3.4. Программное обеспечение ЭВМ
3.5. Другие системы
ГЛАВА 4. АНАЛИЗ СЕТЕЙ ПЕТРИ
4.1. Задачи анализа сетей Петри
4.2. Методы анализа
ГЛАВА 5. СЛОЖНОСТЬ И РАЗРЕШИМОСТЬ
5.1. Сводимость задач анализа
5.2. Задачи достижимости
5.3. Сети Петри с ограничениями
5.4. Активность и достижимость
5.5. Неразрешимые задачи
5.6. Сложность задачи достижимости
ГЛАВА 6. ЯЗЫКИ СЕТЕЙ ПЕТРИ
6.2. Некоторые понятия теории формальных языков
6.3. Определения языков сетей Петри
6.4. Свойства языков сетей Петри
6.5. Свойства замкнутости
6.6. Языки сетей Петри и другие классы языков
ГЛАВА 7. РАСШИРЕННЫЕ И ОГРАНИЧЕННЫЕ МОДЕЛИ СЕТЕЙ ПЕТРИ
7.1. Границы возможностей моделирования с помощью сетей Петри
7.2. Расширения
7.3. Расширенные сети Петри и регистровые машины
7.4. Подклассы сетей Петри
ГЛАВА 8. МОДЕЛИ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ
8.2. Маркированные графы
8.3. Графы вычислений
8.4. P/V-системы
8.5. Системы передачи сообщений
8.6. Графы UCLA
8.7. Системы замещения и сложения векторов
8.8. Расширенные модели сетей Петри
ОБЗОР ТЕОРИИ КОМПЛЕКТОВ
АННОТИРОВАННАЯ БИБЛИОГРАФИЯ