Compositional reification of petri nets
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 reifi...
| Autor: | |
|---|---|
| Tipo de recurso: | informe técnico |
| Estado: | Versión publicada |
| Fecha de publicación: | 1994 |
| País: | Brasil |
| Institución: | Universidade Federal do Rio Grande do Sul (UFRGS) |
| Repositorio: | Repositório Institucional da UFRGS |
| Idioma: | inglés |
| OAI Identifier: | oai:www.lume.ufrgs.br:10183/126664 |
| Acceso en línea: | http://hdl.handle.net/10183/126664 |
| Access Level: | acceso abierto |
| Palabra clave: | Teoria : Ciência : Computação Redes : Petri Teoria : Categorias Petri nets Net-based semantics Reification Vertical and horizontal compositionality Graph transformation Partial morphisms Category theory |
| Sumario: | 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. |
|---|