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

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

Dades bibliogràfiques
Autor principal:	Башкин В. А. Владимир Анатольевич
Altres autors:	Ломазова И. А. Ирина Александровна
Sumari:	В книге рассмотрены отношения эквивалентности на множестве ресурсов сети Петри. Представлено понятие подобия, соответствующее возможности замены в системе одного набора фишек (ресурса) на другой без ущерба для её наблюдаемого поведения в смысле бисимулярности. Вводятся и исследуются отношения эквивалентности, порождаемые подобием ресурсов. Приводятся алгоритмы построения множеств пар подобных ресурсов для обыкновенных сетей Петри и некоторых формализмов на их основе: сетей с невидимыми переходами, раскрашенных сетей и вложенных сетей Петри. Книга предназначена для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными моделями параллельных и распределенных систем.
Publicat:	Москва, Научный мир, 2008
Matèries:	сети Петри ресурсы эквивалентность подобие расширение формальные модели применение
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=137332

Ítems similars

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

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

Эквивалентность дискретных моделей - реальность?
per: Карташев В. Я.
Publicat: (2006)

Применение стохастических сетей Петри к анализу надёжности технических систем
per: Ефремов А. А. Александр Александрович
Publicat: (2004)

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

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

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

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

Применение стохастических сетей Петри к анализу надёжности технических систем
per: Ефремов А. А. Александр Александрович
Publicat: (2003)

Моделирование функциональных устройств цифровой схемотехники на основе расширения сетей Петри
per: Веселов А. А.
Publicat: (2004)

Алгебра потокособытий и сети Петри - язык потокового моделирования многоагентных иерархических систем
per: Юдицкий С. А.
Publicat: (2004)

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

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

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

Абелева N=1 суперсимметричная тензорная калибровочная теория и классическая эквивалентность
per: Мерзликин Б. С. Борис Сергеевич
Publicat: (2013)

Интеллектуальная среда инженерного взаимодействия и онтологически систематизированный метод принятия решений
per: Горюнова В. В.
Publicat: (2017)

Эквивалентность и адекватность: попытка демаркации переводческих категорий
per: Кобенко Ю. В. Юрий Викторович
Publicat: (2015)

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

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

Эквивалентность ртутно-графитового и ртутно-пленочного электродов в методе инверсионной вольтамперометрии
per: Климачев Г. В.
Publicat: (1989)

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

Эквивалентность пословиц и поговорок в русском и английском языках
per: Бакетина О. П.
Publicat: (2013)

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

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

Ч. 1
Publicat: (1981)

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

Вып. 3 (41)
Publicat: (2005)

Межъязыковая фразеологическая эквивалентность и лакунарность: этнокультурный аспект (на материале русского и китайского языков)
per: Щитова О. Г. Ольга Григорьевна
Publicat: (2020)

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

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

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

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

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

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

Теория принятия решений учебное пособие для студентов направления 230100.62 – информатика и вычислительная техника
per: Доррер Г. А.
Publicat: (Красноярск, СибГУ им. академика М. Ф. Решетнёва, 2013)

Программный комплекс Е-сетевого моделирования сложных динамических систем
per: Плотников Д. А. Дмитрий Алексеевич
Publicat: (2006)

Principles of E-network modelling of heterogeneous systems
Publicat: (2016)

Информационная технология анализа производительности в процессе разработки программного обеспечения диссертация на соискание ученой степени кандидата технических наук спец. 05.13.11
per: Дубаков С. А. Сергей Алексеевич
Publicat: (Томск, [Б. и.], 2005)

Основы предпроектного анализа организационных систем учебное пособие
per: Юдицкий С. А. Семен Абрамович
Publicat: (Москва, Финансы и статистика, 2005)

Методы и микропроцессорные средства обработки широкополосных и быстропротекающих процессов в реальном времени
per: Петровский А. А. Александр Александрович
Publicat: (Минск, Наука и техника, 1988)