КОД (ISBN):
5-89176-247-1

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

Товар № 1840499

ВУЗ

Автор: Ломазова И.А.

Издательство: Научный мир

Вес: 0.370 кг.

Год издания: 2004

Страниц: 208

Товар отсутствует

Узнать о поступлении

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