Repositório Digital

A- A A+

Systems for system implementation

.

Systems for system implementation

Mostrar registro completo

Estatísticas

Título Systems for system implementation
Autor Menezes, Paulo Fernando Blauth
Costa, J. Felix
Data 1996
Assunto Redes : Petri
Teoria : Categorias
Teoria : Processos
Abstract Inspired by Meseguer and Montanari's "Petri Nets are Monoids", we propose that a refinement o f a Petri net is a special kind o f net morphism were the target object is enriched with ali conceivable sequential and concurrent computations. Then it is proven that while refinement o f nets satisfies the vertical compositionality requirement (i.e., refinements compose), it lacks the horizontal compositionality requirement (i.e., refinement does not distribute over parallel composition). To achieve both requirements, a new categoria! semantic domain based on labeled transition systems with full concurrency, called nonsequential automata, is constructed. Again, a class of morphisms stands for refinement and, in this framework, the diagonal compositionality requirement (i.e., both vertical and horizontal) is achieved. Adjunctions between both models are provided extending the approach ofWinskel and Nielsen. The steps of abstraction involved in moving between models show that nonsequential automata are more concrete than Petri nets.
Tipo Relatório Técnico e de Pesquisa
URI http://hdl.handle.net/10183/126658
Arquivos Descrição Formato
000140744.pdf (3.803Mb) 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.