Теоретико-категорная характеризация развертки временных сетей Петри

dc.contributor.author	Дубцов, Р.С.
dc.date.accessioned	2008-09-17T14:19:42Z
dc.date.available	2008-09-17T14:19:42Z
dc.date.issued	2004
dc.identifier.citation	Теоретико-категорная характеризация развертки временных сетей Петри/Р.С. Дубцов // Проблеми програмування. — 2004. — N 2,3. — С. 30-36. —Бiбліогр.:11 назв. - рос.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/2323
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.language.iso	ru	en_US
dc.publisher	Інститут програмних систем НАН України	en_US
dc.subject	Теоретические и методологические основы программирования	en_US
dc.title	Теоретико-категорная характеризация развертки временных сетей Петри	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	681.3