Теоретико-категорная характеризация развертки временных сетей Петри
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Теоретико-категорная характеризация развертки временных сетей Петри
|
|
| Creator |
Дубцов, Р.С.
|
|
| Subject |
Теоретические и методологические основы программирования
|
|
| 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. |
|
| Date |
2008-09-17T14:19:42Z
2008-09-17T14:19:42Z 2004 |
|
| Type |
Article
|
|
| Identifier |
Теоретико-категорная характеризация развертки временных сетей Петри/Р.С. Дубцов // Проблеми програмування. — 2004. — N 2,3. — С. 30-36. —Бiбліогр.:11 назв. - рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2323 681.3 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|