Repositório Digital

A- A A+

Compositional reification of petri nets

.

Compositional reification of petri nets

Mostrar registro completo

Estatísticas

Título Compositional reification of petri nets
Autor Menezes, Paulo Fernando Blauth
Data 1994
Assunto Redes : Petri
Teoria : Categorias
Teoria : Ciência : Computação
[en] Category theory
[en] Graph transformation
[en] Net-based semantics
[en] Partial morphisms
[en] Petri nets
[en] Reification
[en] Vertical and horizontal compositionality
Abstract A categorical semantic domain is constructed for the reification of Petri nets based on graph transformations. First, the graph transformation concept (based on the single pushout approach) is extended for Petri nets viewed as graphs with partia! morphisms. Classes of transformations stand for reifications where part of a net (usually a transition) is replaced by another (possible complex) net allowing a hierarchical specification methodology. The composition of reifications (i.e., composition of pushouts) is defined, leading to a category of nets and reifications which is complete and cocomplete. Since the reification operation composes, the vertical compositionality requirement of Petri nets is achieved. Then , it is proven that the reification also satisfies the horizontal compositionality requirement, i.e ., the reification of nets distributes through parallel composition. Techniques for specification of nets, top down design of nets anda notion of bisimulation between unreified and reified net are provided.
Tipo Relatório Técnico e de Pesquisa
URI http://hdl.handle.net/10183/126664
Arquivos Descrição Formato
000264958.pdf (8.488Mb) 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.