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.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"