Repositório Digital

A- A A+

Synchronization in petri nets

.

Synchronization in petri nets

Mostrar registro completo

Estatísticas

Título Synchronization in petri nets
Autor Menezes, Paulo Fernando Blauth
Costa, J. Felix
Data 1993
Assunto Redes : Petri
Teoria : Ciência : Computação
Abstract 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.
Tipo Relatório Técnico e de Pesquisa
URI http://hdl.handle.net/10183/126666
Arquivos Descrição Formato
000264951.pdf (6.152Mb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.