Mostrar registro simples

dc.contributor.authorMenezes, Paulo Fernando Blauthpt_BR
dc.contributor.authorCosta, J. Felixpt_BR
dc.date.accessioned2015-09-14T15:58:17Zpt_BR
dc.date.issued1993pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/126666pt_BR
dc.description.abstractIn "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.en
dc.format.mimetypeapplication/pdf
dc.language.isoengpt_BR
dc.publisherInstituto Superior Tecnico. Departamento de Matematicapt_BR
dc.rightsOpen Accessen
dc.subjectTeoria : Ciência : Computaçãopt_BR
dc.subjectRedes : Petript_BR
dc.titleSynchronization in petri netspt_BR
dc.typeRelatório técnico e de pesquisapt_BR
dc.identifier.nrb000264951pt_BR


Thumbnail
   

Este item está licenciado na Creative Commons License

Mostrar registro simples