Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання
В статье рассматривается задача построения формальной модели координационной системы сети для коллаборативной среды обучения. Предлагается автоматная модель, описанная с помощью сетей Петри. На основе сетевой модели проведено исследование системы на ограниченность, сохранение и активность. The pro...
Saved in:
| Date: | 2006 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2006
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1535 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання / М.М. Глибовець, Д.К. Гломозда // Проблеми програмування. — 2006. — N 2-3. — С. 402-412. — Бібліогр.: 2 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1535 |
|---|---|
| record_format |
dspace |
| spelling |
Глибовець, М.М. Гломозда, Д.К. 2008-08-21T17:28:01Z 2008-08-21T17:28:01Z 2006 Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання / М.М. Глибовець, Д.К. Гломозда // Проблеми програмування. — 2006. — N 2-3. — С. 402-412. — Бібліогр.: 2 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1535 681.3 В статье рассматривается задача построения формальной модели координационной системы сети для коллаборативной среды обучения. Предлагается автоматная модель, описанная с помощью сетей Петри. На основе сетевой модели проведено исследование системы на ограниченность, сохранение и активность. 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. uk Інститут програмних систем НАН України Формальні методи програмування Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання Formal model of coordination-oriented network for collaboration system Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| spellingShingle |
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання Глибовець, М.М. Гломозда, Д.К. Формальні методи програмування |
| title_short |
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| title_full |
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| title_fullStr |
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| title_full_unstemmed |
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| title_sort |
формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| author |
Глибовець, М.М. Гломозда, Д.К. |
| author_facet |
Глибовець, М.М. Гломозда, Д.К. |
| topic |
Формальні методи програмування |
| topic_facet |
Формальні методи програмування |
| publishDate |
2006 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Formal model of coordination-oriented network for collaboration system |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1535 |
| citation_txt |
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання / М.М. Глибовець, Д.К. Гломозда // Проблеми програмування. — 2006. — N 2-3. — С. 402-412. — Бібліогр.: 2 назв. — укр. |
| work_keys_str_mv |
AT glibovecʹmm formalʹnamodelʹkoordinacíinooríêntovanoímerežídlâkolaborativnoísisteminavčannâ AT glomozdadk formalʹnamodelʹkoordinacíinooríêntovanoímerežídlâkolaborativnoísisteminavčannâ AT glibovecʹmm formalmodelofcoordinationorientednetworkforcollaborationsystem AT glomozdadk formalmodelofcoordinationorientednetworkforcollaborationsystem |
| first_indexed |
2025-12-07T15:53:30Z |
| last_indexed |
2025-12-07T15:53:30Z |
| _version_ |
1850865415832469504 |