Marked petri nets within a categorial framework

Detalhes bibliográficos
Autor(a) principal: Menezes, Paulo Fernando Blauth
Data de Publicação: 1995
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/256096
Resumo: Well know categories of Petri nets lack coproducts and some re strictioné on nets, morphisms or initial markings are required in or der to guarantee the existence of colimits. Categories of Petri nets equipped with a set of initial markings (instead of a single initial marking) are introduced. It is shown that the proposed categories of nets are complete and cocomplete. Moreover,interpretations of limits and colimits are adequate for expressing semantics of concurrent sys tems. Examples ofstructuring and modeling of behavior of nets using categoria! constructions based on limits and colimits are provided.
id UFRGS-2_cb4b535724df0910bc06004783631209
oai_identifier_str oai:www.lume.ufrgs.br:10183/256096
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Menezes, Paulo Fernando Blauth2023-03-22T03:23:31Z19950103-4308http://hdl.handle.net/10183/256096000115938Well know categories of Petri nets lack coproducts and some re strictioné on nets, morphisms or initial markings are required in or der to guarantee the existence of colimits. Categories of Petri nets equipped with a set of initial markings (instead of a single initial marking) are introduced. It is shown that the proposed categories of nets are complete and cocomplete. Moreover,interpretations of limits and colimits are adequate for expressing semantics of concurrent sys tems. Examples ofstructuring and modeling of behavior of nets using categoria! constructions based on limits and colimits are provided.application/pdfengRevista de Informatica Teorica e Aplicada. Porto Alegre. vol. 2, n. 2 (out.1995), p. 71-92Teoria : Ciência : ComputaçãoRedes : PetriTeoria : CategoriasPetri netsnet-based semanticsconcurrencystructuring of netsrefinementinitial markingstoken gamecategory theoryMarked petri nets within a categorial frameworkinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/otherinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000115938.pdf.txt000115938.pdf.txtExtracted Texttext/plain34735http://www.lume.ufrgs.br/bitstream/10183/256096/2/000115938.pdf.txtfdc21197a8edeee5c8836f2099269205MD52ORIGINAL000115938.pdfTexto completo (inglês)application/pdf7412168http://www.lume.ufrgs.br/bitstream/10183/256096/1/000115938.pdf6eb5265dd0f995ad3b37c031dd0f075fMD5110183/2560962023-03-23 03:22:47.301223oai:www.lume.ufrgs.br:10183/256096Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2023-03-23T06:22:47Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Marked petri nets within a categorial framework
title Marked petri nets within a categorial framework
spellingShingle Marked petri nets within a categorial framework
Menezes, Paulo Fernando Blauth
Teoria : Ciência : Computação
Redes : Petri
Teoria : Categorias
Petri nets
net-based semantics
concurrency
structuring of nets
refinement
initial markings
token game
category theory
title_short Marked petri nets within a categorial framework
title_full Marked petri nets within a categorial framework
title_fullStr Marked petri nets within a categorial framework
title_full_unstemmed Marked petri nets within a categorial framework
title_sort Marked petri nets within a categorial framework
author Menezes, Paulo Fernando Blauth
author_facet Menezes, Paulo Fernando Blauth
author_role author
dc.contributor.author.fl_str_mv Menezes, Paulo Fernando Blauth
dc.subject.por.fl_str_mv Teoria : Ciência : Computação
Redes : Petri
Teoria : Categorias
topic Teoria : Ciência : Computação
Redes : Petri
Teoria : Categorias
Petri nets
net-based semantics
concurrency
structuring of nets
refinement
initial markings
token game
category theory
dc.subject.eng.fl_str_mv Petri nets
net-based semantics
concurrency
structuring of nets
refinement
initial markings
token game
category theory
description Well know categories of Petri nets lack coproducts and some re strictioné on nets, morphisms or initial markings are required in or der to guarantee the existence of colimits. Categories of Petri nets equipped with a set of initial markings (instead of a single initial marking) are introduced. It is shown that the proposed categories of nets are complete and cocomplete. Moreover,interpretations of limits and colimits are adequate for expressing semantics of concurrent sys tems. Examples ofstructuring and modeling of behavior of nets using categoria! constructions based on limits and colimits are provided.
publishDate 1995
dc.date.issued.fl_str_mv 1995
dc.date.accessioned.fl_str_mv 2023-03-22T03:23:31Z
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/other
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/256096
dc.identifier.issn.pt_BR.fl_str_mv 0103-4308
dc.identifier.nrb.pt_BR.fl_str_mv 000115938
identifier_str_mv 0103-4308
000115938
url http://hdl.handle.net/10183/256096
dc.language.iso.fl_str_mv eng
language eng
dc.relation.ispartof.pt_BR.fl_str_mv Revista de Informatica Teorica e Aplicada. Porto Alegre. vol. 2, n. 2 (out.1995), p. 71-92
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/256096/2/000115938.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/256096/1/000115938.pdf
bitstream.checksum.fl_str_mv fdc21197a8edeee5c8836f2099269205
6eb5265dd0f995ad3b37c031dd0f075f
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1815447823122956288

Registros relacionados