Глибовець, МиколаГломозда, Дмитро2017-01-242017-01-242006Глибовець М. М. Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання / М. М. Глибовець, Д. К. Гломозда // Проблеми програмування : науковий журнал. - 2006. - № 2-3 : cпеціальний випуск. - С. 402-412.https://ekmair.ukma.edu.ua/handle/123456789/10868The problem of building a formal model of coordination system for a collaboration environment is considered in the article. The automata model described with Petri nets is presented. The study of system’s boundedness, preservation and liveness is conducted on the basis of the net model.В статті розглядається задача побудови формальної моделі координаційної системи мережі для колаборативного середовища. Запропоновано автоматну модель, описану за допомогою мереж Петрі. На основі мережної моделі здійснено дослідження системи на обмеженість, збереження та активність.ukкомп’ютерна системамережева модельпрограмуванняPreprint