Моделирование параллельных процессов. Сети Петри
Книга представляет собой фундаментальное учебное пособие по моделированию параллельных процессов с использованием формального аппарата сетей Петри. Авторы, признанные специалисты в данной области, излагают принципы построения динамических моделей для асинхронных параллельных систем, которые находят применение в самых разных областях — от вычислений и управления до робототехники и искусственного интеллекта.
Особое внимание уделяется двуединому подходу, который объединяет структурную модель (отражающую статические свойства системы) и поведенческую модель (описывающую её динамику). Такой подход является универсальным и может использоваться на всех этапах проектирования сложных систем: спецификации, анализа, реализации и верификации.
В книге подробно рассматриваются классификация асинхронных процессов, методы их композиции, редукции и структурирования. Материал изложен доступным языком, сопровождается большим количеством наглядных примеров и упражнений для закрепления знаний. Издание хорошо структурировано и подходит как для учебного процесса, так и для самостоятельного изучения.
Книга рекомендована Учебно-методическим объединением по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению «Системный анализ и управление». Она рассчитана на широкую аудиторию — от студентов и аспирантов до практикующих инженеров и исследователей.
