Обложка Ломазова И.А. Вложенные сети Петри: моделирование и анализ распределенных систем с объективной структурой.
Id: 157443

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

2004. 208 с. ISBN 5-89176-247-1. Букинист. Состояние: 4+. Есть погашенная печать расформированной библиотеки.
  • Твердый переплет

Аннотация

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