Моделирование параллельных процессов. Сети Петри. Курс для системных архитекторов, программистов, системных аналитиков, проектировщиков сложных систем управления

1190 1309

Автор: Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В.

ISBN: 978-5-9905552-0-4

Страниц: 400

Переплет: твердый переплет

Издательство: Профессиональная литература

Аннотация

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

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

Книга написана доступным языком, с большим количеством примеров, отличается хорошей организацией, структурой и подачей материала. Может использоваться в качестве учебного пособия. Рассчитана на широкую аудиторию.

Дополнительные материалы

Оглавление недоступно

Дополнительные материалы (архив) недоступны