Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання

• Datum: 2006
• Hauptverfasser: Глибовець, М.М., Гломозда, Д.К.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут програмних систем НАН України 2006
• Schlagworte: Формальні методи програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/1535
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання / М.М. Глибовець, Д.К. Гломозда // Проблеми програмування. — 2006. — N 2-3. — С. 402-412. — Бібліогр.: 2 назв. — укр.

В статье рассматривается задача построения формальной модели координационной системы сети для коллаборативной среды обучения. Предлагается автоматная модель, описанная с помощью сетей Петри. На основе сетевой модели проведено исследование системы на ограниченность, сохранение и активность. The pro...