Название: Моделирование параллельных процессов. Сети Петри Автор: Мараховский В.Б., Розенблюм Л.Я., Яковлев А.В. Издательство: СПб.: Профессиональная литература Год: 2014 Формат: pdf Страниц: 400 Размер: 14 mb Язык: Русский
Данная книга представляет собой уникальное издание, написанное специалистами с мировыми именами в области моделирования параллельных процессов и сетей Петри. В книге излагаются вопросы построения формальных динамических моделей асинхронных параллельных процессов. При этом рассматриваемые процессы могут относиться к различным прикладным областям, например, к вычислениям, управлению, интерфейсам, программированию, робототехнике или искусственному интеллекту. Подчеркивается неразрывная связь структурной модели, отражающей статические свойства объекта, и динамической (поведенческой) модели. Такой двуединый фундаментальный подход пригоден на всех этапах проектирования систем - спецификации, анализа, реализации и верификации. Книга написана доступным языком, с большим количеством примеров, отличается хорошей организацией, структурой и подачей материала. Может использоваться в качестве учебного пособия. Рассчитана на широкую аудиторию.
Навигация
Вход на сайт
Реклама
Моделирование параллельных процессов. Сети Петри 
