Эквивалентность ресурсов в сетях Петри

Эквивалентность ресурсов в сетях Петри

Bibliographic Details
Main Author:	Башкин В. А. Владимир Анатольевич
Other Authors:	Ломазова И. А. Ирина Александровна
Summary:	В книге рассмотрены отношения эквивалентности на множестве ресурсов сети Петри. Представлено понятие подобия, соответствующее возможности замены в системе одного набора фишек (ресурса) на другой без ущерба для её наблюдаемого поведения в смысле бисимулярности. Вводятся и исследуются отношения эквивалентности, порождаемые подобием ресурсов. Приводятся алгоритмы построения множеств пар подобных ресурсов для обыкновенных сетей Петри и некоторых формализмов на их основе: сетей с невидимыми переходами, раскрашенных сетей и вложенных сетей Петри. Книга предназначена для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными моделями параллельных и распределенных систем.
Language:	Russian
Published:	Москва, Научный мир, 2008
Subjects:	сети Петри ресурсы эквивалентность подобие расширение формальные модели применение
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=137332

Similar Items

Сети Петри
by: Котов В. Е. Вадим Евгеньевич
Published: (Москва, Наука, 1984)

Сети Петри в моделировании и управлении
by: Лескин А. А. Алексей Алексеевич
Published: (Ленинград, Наука, 1989)

Теория вычислительных процессов и структур учебное пособие
by: Егоров Д. Л.
Published: (Казань, КНИТУ, 2018)

Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем
by: Васильев В. В. Всеволод Викторович
Published: (Киев, Наук. думка, 1990)

Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой
by: Ломазова И. А. Ирина Александровна
Published: (Москва, Научный мир, 2004)

Территориально-производственные комплексы. Прогнозирование процесса формирования с использ. сетей Петри
by: Бандман М. К. Марк Константинович
Published: (Новосибирск, Наука, 1990)

Теория сетей Петри и моделирование систем: пер. с англ.
by: Питерсон Дж. Джеймс
Published: (Москва, Мир, 1984)

Теоретическая информатика. Теория сетей Петри и моделирование систем учеб. пособие
by: Веретельникова Е. Л.
Published: (Новосибирск, НГТУ, 2018)

Применение стохастических сетей Петри к анализу надёжности технических систем; Современные техника и технологии; Т. 2
by: Ефремов А. А. Александр Александрович
Published: (2004)

Эквивалентность дискретных моделей - реальность?; Промышленные АСУ и контроллеры; № 8
by: Карташев В. Я.
Published: (2006)

Менеджмент процессов проектных работ с использованием сетей Петри; Молодежь и современные информационные технологии
by: Кузенков В. З.
Published: (2013)

Применение стохастических сетей Петри к анализу надёжности технических систем; Молодежь и современные информационные технологии
by: Ефремов А. А. Александр Александрович
Published: (2003)

Моделирование функциональных устройств цифровой схемотехники на основе расширения сетей Петри; Приборы и системы. Управление, контроль, диагностика; № 8
by: Веселов А. А.
Published: (2004)

Использование сетей Петри при проектировании систем обработки данных
Published: (Москва, Наука, 1988)

Конечные автоматы: эквивалентность и поведение
Published: (Москва, Наука, 1984)

Управление в распределенных интегральных сетях: сборник научных трудов
Published: (Москва, Наука, 1991)

Алгебра потокособытий и сети Петри - язык потокового моделирования многоагентных иерархических систем; Приборы и системы. Управление, контроль, диагностика; № 9
by: Юдицкий С. А.
Published: (2004)

Абелева N=1 суперсимметричная тензорная калибровочная теория и классическая эквивалентность; Перспективы развития фундаментальных наук
by: Мерзликин Б. С. Борис Сергеевич
Published: (2013)

Вычислительные процессы: теория трансляции, управление данными и сети Петри: учебное пособие
by: Лукин В. Н. Владимир Николаевич
Published: (Москва, Вузовская книга, 2015)

Технологии проектирования и создания информационных порталов на основе спецификации функциональной структуры обобщенными сетями Петри: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.11
by: Чернев С. П. Сергей Петрович
Published: (Новосибирск, 2003)

Интеллектуальная среда инженерного взаимодействия и онтологически систематизированный метод принятия решений; Информационные технологии в науке, управлении, социальной сфере и медицине; Ч. 1
by: Горюнова В. В.
Published: (2017)

Технологии проектирования и создания информационных порталов на основе спецификации функциональной структуры обобщенными сетями Петри: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.13.11
by: Чернев С. П. Сергей Петрович
Published: (Томск, 2003)

Эквивалентность ртутно-графитового и ртутно-пленочного электродов в методе инверсионной вольтамперометрии; Электрохимические методы анализа
by: Климачев Г. В.
Published: (1989)

Методы управления сетевыми информационными системами
by: Зиновьев Э. В. Эдуард Васильевич
Published: (Рига, Зинатне, 1991)

Эквивалентность и адекватность: попытка демаркации переводческих категорий; Современные проблемы науки и образования; № 1
by: Кобенко Ю. В. Юрий Викторович
Published: (2015)

Теоретические основы информатики: учебное пособие
by: Забуга А. А. Александр Александрович
Published: (Санкт-Петербург, Питер, 2014)

Теория телетрафика и ее приложения: учебное пособие
by: Крылов В. В.
Published: (СПб., БХВ-Петербург, 2005)

Эквивалентность пословиц и поговорок в русском и английском языках; Коммуникативные аспекты языка и культуры; Ч. 3
by: Бакетина О. П.
Published: (2013)

Курс перевода (эквивалентность реревода и способы ее достижения)
by: Латышев Л. К. Лев Константинович
Published: (Москва, Международные отношения, 1981)

Методы исследования ГПС: учебное пособие
by: Ратмиров В. А. Валерий Аркадьевич
Published: (Москва, Машиностроение, 1990)

Ч. 1; Вычислительные сети коммутации пакетов
Published: (1981)

Моделирование систем
by: Кулагин В. П.
Published: (Москва, РТУ МИРЭА, 2022)

Вып. 3 (41); Сборник научных трудов НГТУ
Published: (2005)

Межъязыковая фразеологическая эквивалентность и лакунарность: этнокультурный аспект (на материале русского и китайского языков); Вестник Томского государственного университета. Филология; № 65
by: Щитова О. Г. Ольга Григорьевна
Published: (2020)

Модели и алгоритмы логического управления химико-технологическими системами учебное пособие для вузов
by: Сидельников С. И.
Published: (Санкт-Петербург, Лань, 2025)

Системы обработки информации и управления: Сборник научных трудов
Published: (СПб., Изд-во СПбГЭТУ, 1994)

Параллельное программирование мультикомпьютеров
by: Малышкин В. Э. Виктор Эммануилович
Published: (Новосибирск, Изд-во НГТУ, 2006)

Машины, энергия, энтропия: пер. с англ.
by: Фен Дж. Джон
Published: (Москва, Мир, 1986)

Программно-целевые ТПК : предплановые исследования: сборник научных трудов
Published: (Новосибирск, Изд-во ИЭОПП, 1982)

Технология системного моделирования
Published: (Москва, Машиностроение, 1988)