Лукьянова Е. А.
О гомоморфизме компонентной сети Петри

В виде компонентной сети Петри (CN-сети) рассмотрена редуцированная модель Петри параллельной распределенной системы для установления степени адекватности двух моделей (детальной модели Петри N и компонентной модели Петри CN) одной и той же исследуемой параллельной распределенной системы. Введены понятия отношения <$E chi> компоненты и областей отношения компоненты. Установлен сюръективный гомоморфизм исследуемых моделей N и CN и изоморфизм сети <$E N "/" chi> - фактор-модели N по отношению <$E chi> и CN-сети.

PDF

Бібліографічний опис:
Лукьянова Е. А.  О гомоморфизме компонентной сети Петри. Кибернетика и системный анализ. 2014. Т. 50, № 1. С. 36-44. URL: http://jnas.nbuv.gov.ua/article/UJRN-0001314640