The 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.
В статті розглядається задача побудови формальної моделі координаційної системи
мережі для колаборативного середовища. Запропоновано автоматну модель, описану за
допомогою мереж Петрі. На основі мережної моделі здійснено дослідження системи на
обмеженість, збереження та активність.