Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання
В статье рассматривается задача построения формальной модели координационной системы сети для коллаборативной среды
 обучения. Предлагается автоматная модель, описанная с помощью сетей Петри. На основе сетевой модели проведено исследование
 системы на ограниченность, сохранение и акт...
Gespeichert in:
| Datum: | 2006 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2006
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1535 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання / М.М. Глибовець, Д.К. Гломозда // Проблеми програмування. — 2006. — N 2-3. — С. 402-412. — Бібліогр.: 2 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862682495951044608 |
|---|---|
| author | Глибовець, М.М. Гломозда, Д.К. |
| author_facet | Глибовець, М.М. Гломозда, Д.К. |
| citation_txt | Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання / М.М. Глибовець, Д.К. Гломозда // Проблеми програмування. — 2006. — N 2-3. — С. 402-412. — Бібліогр.: 2 назв. — укр. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T15:53:30Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1535 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T15:53:30Z |
| publishDate | 2006 |
| publisher | Інститут програмних систем НАН України |
| 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 |
| spellingShingle | Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання Глибовець, М.М. Гломозда, Д.К. Формальні методи програмування |
| title | Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| title_alt | Formal model of coordination-oriented network for collaboration system |
| title_full | Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| title_fullStr | Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| title_full_unstemmed | Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| title_short | Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| title_sort | формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання |
| topic | Формальні методи програмування |
| topic_facet | Формальні методи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1535 |
| 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 |