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

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&#xd...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2004
1. Verfasser: Дубцов, Р.С.
Format: Artikel
Sprache:Russisch
Veröffentlicht: Інститут програмних систем НАН України 2004
Schlagworte:
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/2323
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Теоретико-категорная характеризация развертки временных сетей Петри/Р.С. Дубцов // Проблеми програмування. — 2004. — N 2,3. — С. 30-36. —Бiбліогр.:11 назв. - рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
_version_ 1862540167056719872
author Дубцов, Р.С.
author_facet Дубцов, Р.С.
citation_txt Теоретико-категорная характеризация развертки временных сетей Петри/Р.С. Дубцов // Проблеми програмування. — 2004. — N 2,3. — С. 30-36. —Бiбліогр.:11 назв. - рос.
collection DSpace DC
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.
first_indexed 2025-11-24T15:56:08Z
format Article
fulltext
id nasplib_isofts_kiev_ua-123456789-2323
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
issn 1727-4907
language Russian
last_indexed 2025-11-24T15:56:08Z
publishDate 2004
publisher Інститут програмних систем НАН України
record_format dspace
spelling Дубцов, Р.С.
2008-09-17T14:19:42Z
2008-09-17T14:19:42Z
2004
Теоретико-категорная характеризация развертки временных сетей Петри/Р.С. Дубцов // Проблеми програмування. — 2004. — N 2,3. — С. 30-36. —Бiбліогр.:11 назв. - рос.
1727-4907
https://nasplib.isofts.kiev.ua/handle/123456789/2323
681.3
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.
ru
Інститут програмних систем НАН України
Теоретические и методологические основы программирования
Теоретико-категорная характеризация развертки временных сетей Петри
Article
published earlier
spellingShingle Теоретико-категорная характеризация развертки временных сетей Петри
Дубцов, Р.С.
Теоретические и методологические основы программирования
title Теоретико-категорная характеризация развертки временных сетей Петри
title_full Теоретико-категорная характеризация развертки временных сетей Петри
title_fullStr Теоретико-категорная характеризация развертки временных сетей Петри
title_full_unstemmed Теоретико-категорная характеризация развертки временных сетей Петри
title_short Теоретико-категорная характеризация развертки временных сетей Петри
title_sort теоретико-категорная характеризация развертки временных сетей петри
topic Теоретические и методологические основы программирования
topic_facet Теоретические и методологические основы программирования
url https://nasplib.isofts.kiev.ua/handle/123456789/2323
work_keys_str_mv AT dubcovrs teoretikokategornaâharakterizaciârazvertkivremennyhseteipetri