Моделювання роботи колаборативного середовища за допомогою кольорових мереж Петрі
Loading...
Date
2014
Authors
Гломозда, Дмитро
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
У статті описано модель координаційного механізму програмної системи підтримки асинхронної дистанційної взаємодії в мережі Інтернет, створену за допомогою кольорових мереж Петрі.
Description
A 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.
Keywords
кольорові мережі Петрі, CPN Tools, координація, колаборативне середовище, дистанційна взаємодія, стаття, coloured Petri nets, CPN Tools, coordination, collaborative environment, remote cooperation
Citation
Гломозда Д. К. Моделювання роботи колаборативного середовища за допомогою кольорових мереж Петрі / Гломозда Д. К. // Наукові записки НаУКМА. - 2014. - Т. 163 : Комп'ютерні науки. - С. 77-85.