О гомоморфизме компонентной сети Петри
В виде компонентной сети Петри (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| Summary: | В виде компонентной сети Петри (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.
|
|---|