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

• Date: 2004
• Main Author: Дубцов, Р.С.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2004
• Subjects: Теоретические и методологические основы программирования
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/2323
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Теоретико-категорная характеризация развертки временных сетей Петри/Р.С. Дубцов // Проблеми програмування. — 2004. — N 2,3. — С. 30-36. —Бiбліогр.: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 provi...