Название: Моделирование параллельных процессов. Сети Петри
Автор: Мараховский В.Б., Розенблюм Л.Я., Яковлев А.В.
Издательство: СПб.: Профессиональная литература
Год: 2014
Формат: pdf
Страниц: 400
Размер: 14 mb
Язык: Русский

Данная книга представляет собой уникальное издание, написанное специалистами с мировыми именами в области моделирования параллельных процессов и сетей Петри. В книге излагаются вопросы построения формальных динамических моделей асинхронных параллельных процессов. При этом рассматриваемые процессы могут относиться к различным прикладным областям, например, к вычислениям, управлению, интерфейсам, программированию, робототехнике или искусственному интеллекту.
Подчеркивается неразрывная связь структурной модели, отражающей статические свойства объекта, и динамической (поведенческой) модели. Такой двуединый фундаментальный подход пригоден на всех этапах проектирования систем - спецификации, анализа, реализации и верификации.
Книга написана доступным языком, с большим количеством примеров, отличается хорошей организацией, структурой и подачей материала. Может использоваться в качестве учебного пособия. Рассчитана на широкую аудиторию.