Synchronization in petri nets

Detalhes bibliográficos
Autor(a) principal: Menezes, Paulo Fernando Blauth
Data de Publicação: 1993
Outros Autores: Costa, J. Felix
Tipo de documento: Relatório
Idioma: eng
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/126666
Resumo: In "Petri nets are Monoids" by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this framework lacks structure in the sense that there is no categorical technique to define a composition of nets satisfying some given synchronization specification. In this paper, a synchronization operation is proposed which is a functor induced by some given synchronization prescription at the transition levei. Moreover, since this operation is also able to represent the asynchronous composition, the fact that some categories of Petri nets lack coproducts (asynchronous composition) is not anymore a restriction for interaction semantics.
id UFRGS-2_b1e035a023a2f0c67b444764e9d154c3
oai_identifier_str oai:www.lume.ufrgs.br:10183/126666
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Menezes, Paulo Fernando BlauthCosta, J. Felix2015-09-14T15:58:17Z1993http://hdl.handle.net/10183/126666000264951In "Petri nets are Monoids" by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this framework lacks structure in the sense that there is no categorical technique to define a composition of nets satisfying some given synchronization specification. In this paper, a synchronization operation is proposed which is a functor induced by some given synchronization prescription at the transition levei. Moreover, since this operation is also able to represent the asynchronous composition, the fact that some categories of Petri nets lack coproducts (asynchronous composition) is not anymore a restriction for interaction semantics.application/pdfengInstituto Superior Tecnico. Departamento de MatematicaTeoria : Ciência : ComputaçãoRedes : PetriSynchronization in petri netsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000264951.pdf.txt000264951.pdf.txtExtracted Texttext/plain29625http://www.lume.ufrgs.br/bitstream/10183/126666/2/000264951.pdf.txt731dbff8f3d45f6dece905b206351139MD52ORIGINAL000264951.pdf000264951.pdfTexto completoapplication/pdf6152194http://www.lume.ufrgs.br/bitstream/10183/126666/1/000264951.pdf1744354fe0abf45725dd1bad035386ccMD51THUMBNAIL000264951.pdf.jpg000264951.pdf.jpgGenerated Thumbnailimage/jpeg1594http://www.lume.ufrgs.br/bitstream/10183/126666/3/000264951.pdf.jpgd9e3a4a7ad61d7055381ed3f6749b56eMD5310183/1266662018-10-23 08:57:14.313oai:www.lume.ufrgs.br:10183/126666Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2018-10-23T11:57:14Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Synchronization in petri nets
title Synchronization in petri nets
spellingShingle Synchronization in petri nets
Menezes, Paulo Fernando Blauth
Teoria : Ciência : Computação
Redes : Petri
title_short Synchronization in petri nets
title_full Synchronization in petri nets
title_fullStr Synchronization in petri nets
title_full_unstemmed Synchronization in petri nets
title_sort Synchronization in petri nets
author Menezes, Paulo Fernando Blauth
author_facet Menezes, Paulo Fernando Blauth
Costa, J. Felix
author_role author
author2 Costa, J. Felix
author2_role author
dc.contributor.author.fl_str_mv Menezes, Paulo Fernando Blauth
Costa, J. Felix
dc.subject.por.fl_str_mv Teoria : Ciência : Computação
Redes : Petri
topic Teoria : Ciência : Computação
Redes : Petri
description In "Petri nets are Monoids" by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this framework lacks structure in the sense that there is no categorical technique to define a composition of nets satisfying some given synchronization specification. In this paper, a synchronization operation is proposed which is a functor induced by some given synchronization prescription at the transition levei. Moreover, since this operation is also able to represent the asynchronous composition, the fact that some categories of Petri nets lack coproducts (asynchronous composition) is not anymore a restriction for interaction semantics.
publishDate 1993
dc.date.issued.fl_str_mv 1993
dc.date.accessioned.fl_str_mv 2015-09-14T15:58:17Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/126666
dc.identifier.nrb.pt_BR.fl_str_mv 000264951
url http://hdl.handle.net/10183/126666
identifier_str_mv 000264951
dc.language.iso.fl_str_mv eng
language eng
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.publisher.none.fl_str_mv Instituto Superior Tecnico. Departamento de Matematica
publisher.none.fl_str_mv Instituto Superior Tecnico. Departamento de Matematica
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/126666/2/000264951.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/126666/1/000264951.pdf
http://www.lume.ufrgs.br/bitstream/10183/126666/3/000264951.pdf.jpg
bitstream.checksum.fl_str_mv 731dbff8f3d45f6dece905b206351139
1744354fe0abf45725dd1bad035386cc
d9e3a4a7ad61d7055381ed3f6749b56e
bitstream.checksumAlgorithm.fl_str_mv MD5
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_ 1815447152341549056