Специальные ресурсы/Информатика и информационные технологии/Моделирование/Имитационное моделирование систем

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