Гломозда, Дмитро2014-11-272014-11-272014Гломозда Д. К. Моделювання роботи колаборативного середовища за допомогою кольорових мереж Петрі / Гломозда Д. К. // Наукові записки НаУКМА. - 2014. - Т. 163 : Комп'ютерні науки. - С. 77-85.https://ekmair.ukma.edu.ua/handle/123456789/3411A model of coordination mechanism of a program system to support asynchronous distant collaboration in Internet scope, created with a help of coloured Petri nets is described. The results of studying the model in terms of safety, liveness and correctness are presented.У статті описано модель координаційного механізму програмної системи підтримки асинхронної дистанційної взаємодії в мережі Інтернет, створену за допомогою кольорових мереж Петрі.ukкольорові мережі ПетріCPN Toolsкоординаціяколаборативне середовищедистанційна взаємодіястаттяcoloured Petri netsCPN Toolscoordinationcollaborative environmentremote cooperationArticle