Дубцов Р. С. Теоретико-категорная характеризация развертки временных сетей Петри / Р. С. Дубцов // Пробл. программирования. - 2004. - 2-3 [спец. вып.]. - С. 30-36. - Библиогр.: 11 назв. - рус.
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.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"