Сводный каталог книг

[Текст] : монография / В. А. Башкин, И. А. Ломазова. - Москва : Научный мир, 2008. - 206 с. : ил. ; 22 см. - Библиогр.: с. 199-206. - ISBN 978-5-91522-002-6 : 147.33 р.

ГРНТИ	27.47
УДК	519.711.7^V3

ББК З 817в641

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Ломазова, Ирина Александровна
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)