Synchronization in petri nets
Autor(a) principal: | |
---|---|
Data de Publicação: | 1993 |
Outros Autores: | |
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 |