Анотація. У вигляді компонентної мережі Петрі (CN-мережі) розглянуто редуковану модель Петрі паралельної розподіленої системи для встановлення ступеня адекватності двох моделей (детальної моделі Петрі N і компонентної моделі Петрі CN) однієї і тієї ж досліджуваної паралельної розподіленої системи. Вводяться поняття відношення χ компоненти і областей відношення компоненти. Встановлено сюр’єктивний гомоморфізм досліджуваних моделей N і CN та ізоморфізм мережі N/χ фактор-моделі N у відношенні χ і CN-мережі.
Ключові слова: мережа Петрі, компонентна мережа Петрі, класи еквівалентності, відношення компоненти, області відношення компоненти, гомоморфізм.
Лукьянова Елена Александровна, кандидат физ.-мат. наук, доцент Таврического национального университета им. В.И. Вернадского, Симферополь,
e-mail: lukyanovaea@mail.ru.