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

[Текст] : монография / Е.В. Кузьмин, В.А. Соколов. - Москва : Физматлит, 2006. - 176 с. : ил. - Предм. указ.: с. 172-173. - Библиогр.: с. 166-171. - ISBN 5-9221-0692-9 : 63.00 р.

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

ББК В18

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

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

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

[Текст] : монография / И.В. Тарасюк ; Отв. ред. В.Н. Касьянов ; Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова. - Новосибирск : Гео, 2007. - 321 с. : ил. - Предм. указ.: с. 316-321. - Библиогр.: с. 287-315. - ISBN 978-5-9747-0098-9 : 10.00 р., 10.00 р.

ГРНТИ	27.47
УДК	519.7^V3	519681.3

ББК В18 + З973.22 + В192.1

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

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

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

[Текст] : монография / В. А. Башкин, И. А. Ломазова. - Москва : Научный мир, 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)

[Текст] : монография / И. А. Ломазова. - Москва : Научный мир, 2004. - 207 с. : ил. - Библиогр.: с. 197-207. - ISBN 5-89176-247-1 : 0.00

ГРНТИ	28.29
УДК	004.72^V3

ББК В18

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)