О гомоморфизме компонентной сети Петри
В виде компонентной сети Петри (CN-сети) рассмотрена редуцированная модель Петри параллельной распределенной системы для установления степени адекватности двух моделей (детальной модели Петри N и компонентной модели Петри CN) одной и той же исследуемой параллельной распределенной системы. Вводятся п...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2014 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2014
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/115732 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | О гомоморфизме компонентной сети Петри / Е.А. Лукьянова // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 36-44 . — Бібліогр.: 18 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862643383085826048 |
|---|---|
| author | Лукьянова, Е.А. |
| author_facet | Лукьянова, Е.А. |
| citation_txt | О гомоморфизме компонентной сети Петри / Е.А. Лукьянова // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 36-44 . — Бібліогр.: 18 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-12-01T08:11:27Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-115732 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| language | Russian |
| last_indexed | 2025-12-01T08:11:27Z |
| publishDate | 2014 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | О гомоморфизме компонентной сети Петри Лукьянова, Е.А. Кибернетика |
| title | О гомоморфизме компонентной сети Петри |
| title_alt | Про гомоморфізм компонентної мережі Петрі On the homomorphism of component Petri net |
| title_full | О гомоморфизме компонентной сети Петри |
| title_fullStr | О гомоморфизме компонентной сети Петри |
| title_full_unstemmed | О гомоморфизме компонентной сети Петри |
| title_short | О гомоморфизме компонентной сети Петри |
| title_sort | о гомоморфизме компонентной сети петри |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/115732 |
| work_keys_str_mv | AT lukʹânovaea ogomomorfizmekomponentnoisetipetri AT lukʹânovaea progomomorfízmkomponentnoímerežípetrí AT lukʹânovaea onthehomomorphismofcomponentpetrinet |