Подробное описание документа

Ломазова И. А.
   Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой / Ломазова И. А. - М. : Научный мир, 2004. - 207 с. - Библиогр.: с. 197-207. - ISBN 5-89176-247-1.

Аннотация

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

УДК

004.7 Связь компьютеров. Сети ЭВМ. Вычислительные сети

Предметные рубрики

• Петри сети

Общее кол-во в фондах

4 экз.

1. Абонемент старших курсов, ГУК, ауд. 213
2. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
3. Преподавательский абонемент ауд.313, ГУК, ауд. 313
4. Читальный зал ауд.305л, УЛК, ауд. 305л
5. Читальный зал ауд.313, ГУК, ауд. 313