О гомоморфизме компонентной сети Петри

В виде компонентной сети Петри (CN-сети) рассмотрена редуцированная модель Петри параллельной распределенной системы для установления степени адекватности двух моделей (детальной модели Петри N и компонентной модели Петри CN) одной и той же исследуемой параллельной распределенной системы. Вводятся п...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2014
Автор: Лукьянова, Е.А.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2014
Теми:
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/115732
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:О гомоморфизме компонентной сети Петри / Е.А. Лукьянова // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 36-44 . — Бібліогр.: 18 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-115732
record_format dspace
spelling Лукьянова, Е.А.
2017-04-11T18:49:50Z
2017-04-11T18:49:50Z
2014
О гомоморфизме компонентной сети Петри / Е.А. Лукьянова // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 36-44 . — Бібліогр.: 18 назв. — рос.
https://nasplib.isofts.kiev.ua/handle/123456789/115732
004.021:004.312.4
В виде компонентной сети Петри (CN-сети) рассмотрена редуцированная модель Петри параллельной распределенной системы для установления степени адекватности двух моделей (детальной модели Петри N и компонентной модели Петри CN) одной и той же исследуемой параллельной распределенной системы. Вводятся понятия отношения χ компоненты и областей отношения компоненты. Установлен сюръективный гомоморфизм исследуемых моделей N и CN и изоморфизм сети N / χ — фактор-модели N по отношению χ и CN-сети.
У вигляді компонентної мережі Петрі (CN-мережі) розглянуто редуковану модель Петрі паралельної розподіленої системи для встановлення ступеня адекватності двох моделей (детальної моделі Петрі N і компонентної моделі Петрі CN) однієї і тієї ж досліджуваної паралельної розподіленої системи. Вводяться поняття відношення χ компоненти і областей відношення компоненти. Встановлено сюр’єктивний гомоморфізм досліджуваних моделей N і CN та ізоморфізм мережі N / χ — фактор-моделі N у відношенні χ і CN-мережі.
We analyze a reduced Petri net model of a parallel distributed system as a component Petri net (CN-net) to determine the adequacy of two models (a detailed Petri model N and a component Petri model CN) of the same parallel distributed system under study. The concepts of relation of a component and relation χ areas of components are introduced. The surjective homomorphism of the N and CN models and the isomorphism of net N /χ , factor-model N with respect to the relation χ, and CN-net are determined.
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Кибернетика и системный анализ
Кибернетика
О гомоморфизме компонентной сети Петри
Про гомоморфізм компонентної мережі Петрі
On the homomorphism of component Petri net
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title О гомоморфизме компонентной сети Петри
spellingShingle О гомоморфизме компонентной сети Петри
Лукьянова, Е.А.
Кибернетика
title_short О гомоморфизме компонентной сети Петри
title_full О гомоморфизме компонентной сети Петри
title_fullStr О гомоморфизме компонентной сети Петри
title_full_unstemmed О гомоморфизме компонентной сети Петри
title_sort о гомоморфизме компонентной сети петри
author Лукьянова, Е.А.
author_facet Лукьянова, Е.А.
topic Кибернетика
topic_facet Кибернетика
publishDate 2014
language Russian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Про гомоморфізм компонентної мережі Петрі
On the homomorphism of component Petri net
description В виде компонентной сети Петри (CN-сети) рассмотрена редуцированная модель Петри параллельной распределенной системы для установления степени адекватности двух моделей (детальной модели Петри N и компонентной модели Петри CN) одной и той же исследуемой параллельной распределенной системы. Вводятся понятия отношения χ компоненты и областей отношения компоненты. Установлен сюръективный гомоморфизм исследуемых моделей N и CN и изоморфизм сети N / χ — фактор-модели N по отношению χ и CN-сети. У вигляді компонентної мережі Петрі (CN-мережі) розглянуто редуковану модель Петрі паралельної розподіленої системи для встановлення ступеня адекватності двох моделей (детальної моделі Петрі N і компонентної моделі Петрі CN) однієї і тієї ж досліджуваної паралельної розподіленої системи. Вводяться поняття відношення χ компоненти і областей відношення компоненти. Встановлено сюр’єктивний гомоморфізм досліджуваних моделей N і CN та ізоморфізм мережі N / χ — фактор-моделі N у відношенні χ і CN-мережі. We analyze a reduced Petri net model of a parallel distributed system as a component Petri net (CN-net) to determine the adequacy of two models (a detailed Petri model N and a component Petri model CN) of the same parallel distributed system under study. The concepts of relation of a component and relation χ areas of components are introduced. The surjective homomorphism of the N and CN models and the isomorphism of net N /χ , factor-model N with respect to the relation χ, and CN-net are determined.
url https://nasplib.isofts.kiev.ua/handle/123456789/115732
citation_txt О гомоморфизме компонентной сети Петри / Е.А. Лукьянова // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 36-44 . — Бібліогр.: 18 назв. — рос.
work_keys_str_mv AT lukʹânovaea ogomomorfizmekomponentnoisetipetri
AT lukʹânovaea progomomorfízmkomponentnoímerežípetrí
AT lukʹânovaea onthehomomorphismofcomponentpetrinet
first_indexed 2025-12-01T08:11:27Z
last_indexed 2025-12-01T08:11:27Z
_version_ 1850859618866036736