Теоретико-категорная характеризация развертки временных сетей Петри
The intention of the paper is to study a category-theoretic characterization of a semantic representation of the behaviour of time Petri nets, which are a time extension of heavily used model for concurrency – Petri nets. First, we introduce a notion of unfolding of a time Petri net and then provi...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/2323 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Теоретико-категорная характеризация развертки временных сетей Петри/Р.С. Дубцов // Проблеми програмування. — 2004. — N 2,3. — С. 30-36. —Бiбліогр.:11 назв. - рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-2323 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-23232008-09-18T12:00:29Z Теоретико-категорная характеризация развертки временных сетей Петри Дубцов, Р.С. Теоретические и методологические основы программирования The intention of the paper is to study a category-theoretic characterization of a semantic representation of the behaviour of time Petri nets, which are a time extension of heavily used model for concurrency – Petri nets. First, we introduce a notion of unfolding of a time Petri net and then provide its category-theoretic characterization. 2004 Article Теоретико-категорная характеризация развертки временных сетей Петри/Р.С. Дубцов // Проблеми програмування. — 2004. — N 2,3. — С. 30-36. —Бiбліогр.:11 назв. - рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2323 681.3 ru Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Теоретические и методологические основы программирования Теоретические и методологические основы программирования |
| spellingShingle |
Теоретические и методологические основы программирования Теоретические и методологические основы программирования Дубцов, Р.С. Теоретико-категорная характеризация развертки временных сетей Петри |
| description |
The intention of the paper is to study a category-theoretic characterization of a semantic representation of the behaviour of time Petri nets,
which are a time extension of heavily used model for concurrency – Petri nets. First, we introduce a notion of unfolding of a time Petri net
and then provide its category-theoretic characterization. |
| format |
Article |
| author |
Дубцов, Р.С. |
| author_facet |
Дубцов, Р.С. |
| author_sort |
Дубцов, Р.С. |
| title |
Теоретико-категорная характеризация развертки временных сетей Петри |
| title_short |
Теоретико-категорная характеризация развертки временных сетей Петри |
| title_full |
Теоретико-категорная характеризация развертки временных сетей Петри |
| title_fullStr |
Теоретико-категорная характеризация развертки временных сетей Петри |
| title_full_unstemmed |
Теоретико-категорная характеризация развертки временных сетей Петри |
| title_sort |
теоретико-категорная характеризация развертки временных сетей петри |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2004 |
| topic_facet |
Теоретические и методологические основы программирования |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/2323 |
| citation_txt |
Теоретико-категорная характеризация развертки временных сетей Петри/Р.С. Дубцов // Проблеми програмування. — 2004. — N 2,3. — С. 30-36. —Бiбліогр.:11 назв. - рос. |
| work_keys_str_mv |
AT dubcovrs teoretikokategornaâharakterizaciârazvertkivremennyhsetejpetri |
| first_indexed |
2023-03-24T08:22:48Z |
| last_indexed |
2023-03-24T08:22:48Z |
| _version_ |
1796138916302028800 |