Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
Данная работа посвящена теоретико-категорному исследованию трассовой эквивалентности в контексте временных автоматных систем переходов. Для данной модели определено понятие открытого морфизма и доказан критерий открытости. Далее сформулировано определение абстрактной эквивалентности в терминах сущ...
Gespeichert in:
| Datum: | 2004 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2004
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/2338 |
| 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: | Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей / Н.С. Грибовская// Проблеми програмування 2004. — N 2-3. — С. 16-22. — Бібліогр.: 5 назв. - рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-2338 |
|---|---|
| record_format |
dspace |
| spelling |
Грибовская, Н.С. 2008-09-17T15:24:20Z 2008-09-17T15:24:20Z 2004 Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей / Н.С. Грибовская// Проблеми програмування 2004. — N 2-3. — С. 16-22. — Бібліогр.: 5 назв. - рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2338 681.3 Данная работа посвящена теоретико-категорному исследованию трассовой эквивалентности в контексте временных автоматных систем переходов. Для данной модели определено понятие открытого морфизма и доказан критерий открытости. Далее сформулировано определение абстрактной эквивалентности в терминах существования конструкции открытых морфизмов и доказано, что трассовая эквивалентность совпадает с этой абстрактной эквивалентностью. The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of timed automata models. In particular, we use the framework of open maps to obtain an abstract equivalence notion which is established to coincide with a timed extension of the well-known trace equivalence. Данная работа частично поддержана Министерством образования Российской Федерации (грант А03-2.8-353) и Российским фондом фундаментальных исследований (грант 04-01-00789). ru Інститут програмних систем НАН України Теоретические и методологические основы программирования Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей 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 |
2004 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| description |
Данная работа посвящена теоретико-категорному исследованию трассовой эквивалентности в контексте временных
автоматных систем переходов. Для данной модели определено понятие открытого морфизма и доказан критерий открытости. Далее
сформулировано определение абстрактной эквивалентности в терминах существования конструкции открытых морфизмов и доказано,
что трассовая эквивалентность совпадает с этой абстрактной эквивалентностью.
The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of timed
automata models. In particular, we use the framework of open maps to obtain an abstract equivalence notion which is established to coincide with a
timed extension of the well-known trace equivalence.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/2338 |
| citation_txt |
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей / Н.С. Грибовская// Проблеми програмування 2004. — N 2-3. — С. 16-22. — Бібліогр.: 5 назв. - рос. |
| work_keys_str_mv |
AT gribovskaâns teoretikokategornaâharakterizaciâtrassovoiékvivalentnostidlâvremennyhavtomatnyhmodelei |
| first_indexed |
2025-12-07T15:10:30Z |
| last_indexed |
2025-12-07T15:10:30Z |
| _version_ |
1850862711148118016 |