Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання
|
|
| Creator |
Глибовець, М.М.
Гломозда, Д.К. |
|
| Subject |
Формальні методи програмування
|
|
| Description |
В статье рассматривается задача построения формальной модели координационной системы сети для коллаборативной среды обучения. Предлагается автоматная модель, описанная с помощью сетей Петри. На основе сетевой модели проведено исследование системы на ограниченность, сохранение и активность. The problem of building a formal model of coordination system for a collaboration education 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. |
|
| Date |
2008-08-21T17:28:01Z
2008-08-21T17:28:01Z 2006 |
|
| Type |
Article
|
|
| Identifier |
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання / М.М. Глибовець, Д.К. Гломозда // Проблеми програмування. — 2006. — N 2-3. — С. 402-412. — Бібліогр.: 2 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1535 681.3 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|