Розенблюм

Моделирование параллельных процессов, Сети Петри, Мараховский В.Б., Розенблюм Л.Я., Яковлев А.В., 2014

Моделирование параллельных процессов, Сети Петри, Мараховский В.Б., Розенблюм Л.Я., Яковлев А.В., 2014.

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

Моделирование параллельных процессов, Сети Петри, Мараховский В.Б., Розенблюм Л.Я., Яковлев А.В., 2014
Скачать и читать Моделирование параллельных процессов, Сети Петри, Мараховский В.Б., Розенблюм Л.Я., Яковлев А.В., 2014