ГРНТИ | |
УДК |
Рубрики:
Сложные системы--моделирование--сети Петри
Кл.слова (ненормированные):
Петри сети -- Вычислительные системы с распределенными параметрами
Сложные системы--моделирование--сети Петри
Кл.слова (ненормированные):
Петри сети -- Вычислительные системы с распределенными параметрами
Аннотация: В книге представлено описание формализма вложенных сетей Петри, предназначенного для моделирования и анализа поведения распределенных систем со сложной объектной структурой. Вложенные сети Петри представляют собой расширение стандартного формализма сетей Петри, в котором фишки, представляющие локальные ресурсы в позициях сети, сами могут быть сложными объектами с сетевой структурой. Дается описание формальной семантики таких сетей. Приводятся алгоритмы верификации некоторых поведенческих свойств. Книга предназначена для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными моделями параллельных и распределенных систем.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)