Авторизация | Регистрация
Авторы от А до Я Расширенный поиск

   

   
товара: 0 шт.
на сумму: 0 руб.
пн-пт с 1000 до 1800
8 (499)
973-25-13
Задать вопрос
Каталог изданий
Доставка
Оплата
Математика
Вложенные сети Петри: моделирование и анализ распределенных систем с обьектной структурой
Нет в наличии

Вложенные сети Петри: моделирование и анализ распределенных систем с обьектной структурой

Автор: Ломазова И.А.
ISBN: 5-89176-247-1
Год издания: 2004
Формат книги: 60х90/16
Кол-во страниц: 208
Издательство: Научный мир
Тип обложки: Переплёт
Вес: 400 гр.

Описание

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

Книга предназначена для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными моделями параллельных и распределенных систем.
Близкие по теме книги