|
Лук'янова, О. О. Про бісимуляційну еквівалентність детальної моделі Петрі та її CN-моделі досліджувальної паралельної розподіленої системи [Текст] / О. О. Лук'янова // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 122-127. – (Серія "Фізико-математичні науки").
Визначається поведінкова еквівалентність компонентної мережі, Петрі (СN-моделі) моделі детальної мережі Петрі N, що відображує досконале функціонування досліджуваної паралельної розподіленої системи. |