Вивчено поведінкову еквівалентність компонентної мережі Петрі (CN-моделі) моделі детальної мережі Петрі N, що відображує доскональне функціонування досліджуваної паралельної розподіленої системи. Моделі N і CN наведено з точки зору реляційних моделей, і через визначення гомоморфізму графів досяжних розміток досліджуваних моделей Петрі встановлено бісимуляцію досліджуваних N і CN моделей.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"