Теоретико-категорная характеризация развертки временных сетей Петри
| dc.contributor.author | Дубцов, Р.С. | |
| dc.date.accessioned | 2008-09-17T14:19:42Z | |
| dc.date.available | 2008-09-17T14:19:42Z | |
| dc.date.issued | 2004 | |
| dc.description.abstract | 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. | en_US |
| dc.identifier.citation | Теоретико-категорная характеризация развертки временных сетей Петри/Р.С. Дубцов // Проблеми програмування. — 2004. — N 2,3. — С. 30-36. —Бiбліогр.:11 назв. - рос. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.udc | 681.3 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/2323 | |
| dc.language.iso | ru | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.status | published earlier | en_US |
| dc.subject | Теоретические и методологические основы программирования | en_US |
| dc.title | Теоретико-категорная характеризация развертки временных сетей Петри | en_US |
| dc.type | Article | en_US |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- 04 - Dubtsov.pdf
- Розмір:
- 169.25 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 1.79 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: