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

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

Detaylı Bibliyografya
Yazar:	Башкин В. А. Владимир Анатольевич
Diğer Yazarlar:	Ломазова И. А. Ирина Александровна
Özet:	В книге рассмотрены отношения эквивалентности на множестве ресурсов сети Петри. Представлено понятие подобия, соответствующее возможности замены в системе одного набора фишек (ресурса) на другой без ущерба для её наблюдаемого поведения в смысле бисимулярности. Вводятся и исследуются отношения эквивалентности, порождаемые подобием ресурсов. Приводятся алгоритмы построения множеств пар подобных ресурсов для обыкновенных сетей Петри и некоторых формализмов на их основе: сетей с невидимыми переходами, раскрашенных сетей и вложенных сетей Петри. Книга предназначена для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными моделями параллельных и распределенных систем.
Dil:	Rusça
Baskı/Yayın Bilgisi:	Москва, Научный мир, 2008
Konular:	сети Петри ресурсы эквивалентность подобие расширение формальные модели применение
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=137332

Benzer Materyaller

Сети Петри
Yazar:: Котов В. Е. Вадим Евгеньевич
Baskı/Yayın Bilgisi: (Москва, Наука, 1984)

Сети Петри в моделировании и управлении
Yazar:: Лескин А. А. Алексей Алексеевич
Baskı/Yayın Bilgisi: (Ленинград, Наука, 1989)

Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем
Yazar:: Васильев В. В. Всеволод Викторович
Baskı/Yayın Bilgisi: (Киев, Наук. думка, 1990)

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

Теория сетей Петри и моделирование систем: пер. с англ.
Yazar:: Питерсон Дж. Джеймс
Baskı/Yayın Bilgisi: (Москва, Мир, 1984)

Применение стохастических сетей Петри к анализу надёжности технических систем; Современные техника и технологии; Т. 2
Yazar:: Ефремов А. А. Александр Александрович
Baskı/Yayın Bilgisi: (2004)

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

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

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

Применение стохастических сетей Петри к анализу надёжности технических систем; Молодежь и современные информационные технологии
Yazar:: Ефремов А. А. Александр Александрович
Baskı/Yayın Bilgisi: (2003)

Конечные автоматы: эквивалентность и поведение
Baskı/Yayın Bilgisi: (Москва, Наука, 1984)

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

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

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

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

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

Эквивалентность ртутно-графитового и ртутно-пленочного электродов в методе инверсионной вольтамперометрии; Электрохимические методы анализа
Yazar:: Климачев Г. В.
Baskı/Yayın Bilgisi: (1989)

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

Вычислительные процессы: теория трансляции, управление данными и сети Петри: учебное пособие
Yazar:: Лукин В. Н. Владимир Николаевич
Baskı/Yayın Bilgisi: (Москва, Вузовская книга, 2015)

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

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

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

Методы управления сетевыми информационными системами
Yazar:: Зиновьев Э. В. Эдуард Васильевич
Baskı/Yayın Bilgisi: (Рига, Зинатне, 1991)

Эквивалентность пословиц и поговорок в русском и английском языках; Коммуникативные аспекты языка и культуры; Ч. 3
Yazar:: Бакетина О. П.
Baskı/Yayın Bilgisi: (2013)

Теория телетрафика и ее приложения: учебное пособие
Yazar:: Крылов В. В.
Baskı/Yayın Bilgisi: (СПб., БХВ-Петербург, 2005)

Курс перевода (эквивалентность реревода и способы ее достижения)
Yazar:: Латышев Л. К. Лев Константинович
Baskı/Yayın Bilgisi: (Москва, Международные отношения, 1981)

Теоретические основы информатики: учебное пособие
Yazar:: Забуга А. А. Александр Александрович
Baskı/Yayın Bilgisi: (Санкт-Петербург, Питер, 2014)

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

Методы исследования ГПС: учебное пособие
Yazar:: Ратмиров В. А. Валерий Аркадьевич
Baskı/Yayın Bilgisi: (Москва, Машиностроение, 1990)

Ч. 1; Вычислительные сети коммутации пакетов
Baskı/Yayın Bilgisi: (1981)

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

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

Анализ подобия и физические модели
Yazar:: Кутателадзе С. С. Самсон Семенович
Baskı/Yayın Bilgisi: (Москва, Наука, 1986)

Нефтегазовая метафорическая терминология: асимметричность и эквивалентность перевода (на материале русского и английского языков); Вестник Томского государственного университета. Филология; № 6 (26)
Yazar:: Мишанкина Н. А. Наталья Александровна
Baskı/Yayın Bilgisi: (2013)

Технология системного моделирования
Baskı/Yayın Bilgisi: (Москва, Машиностроение, 1988)

Выбор вариантов: основы теории
Yazar:: Айзерман М. А. Марк Аронович
Baskı/Yayın Bilgisi: (Москва, Наука, 1990)

Машины, энергия, энтропия: пер. с англ.
Yazar:: Фен Дж. Джон
Baskı/Yayın Bilgisi: (Москва, Мир, 1986)

Программный комплекс Е-сетевого моделирования сложных динамических систем; Молодежь и современные информационные технологии
Yazar:: Плотников Д. А. Дмитрий Алексеевич
Baskı/Yayın Bilgisi: (2006)

Вып. 8: Теория и методология программирования: Сборник научных трудов; Системная информатика
Baskı/Yayın Bilgisi: (2002)

Principles of E-network modelling of heterogeneous systems; IOP Conference Series: Materials Science and Engineering; Vol. 124 : Mechanical Engineering, Automation and Control Systems (MEACS2015)
Baskı/Yayın Bilgisi: (2016)