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

М.: Мир, 1984.— 264 с, ил. Пер. с англ. OCR слой.
В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации.
Для научных работников, аспирантов и студентов старших курсов втузов. Оглавление:
Предисловие к русскому изданию
Предисловие
Введение
Основные определения
Сети Петри для моделирования
Анализ сетей Петри
Сложность и разрешимость
Языки сетей Петри
Расширенные и ограниченные модели сетей Петри
Модели параллельных вычислений
Обзор теории комплектов
Аннотированная библиография
Предметный указатель