Compositional reification of petri nets
dc.contributor.author | Menezes, Paulo Fernando Blauth | pt_BR |
dc.date.accessioned | 2015-09-14T15:58:13Z | pt_BR |
dc.date.issued | 1994 | pt_BR |
dc.identifier.uri | http://hdl.handle.net/10183/126664 | pt_BR |
dc.description.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. | en |
dc.format.mimetype | application/pdf | |
dc.language.iso | eng | pt_BR |
dc.publisher | Instituto Superior Tecnico. Departamento de Matematica | pt_BR |
dc.rights | Open Access | en |
dc.subject | Petri nets | en |
dc.subject | Teoria : Ciência : Computação | pt_BR |
dc.subject | Redes : Petri | pt_BR |
dc.subject | Net-based semantics | en |
dc.subject | Teoria : Categorias | pt_BR |
dc.subject | Reification | en |
dc.subject | Vertical and horizontal compositionality | en |
dc.subject | Graph transformation | en |
dc.subject | Partial morphisms | en |
dc.subject | Category theory | en |
dc.title | Compositional reification of petri nets | pt_BR |
dc.type | Relatório técnico e de pesquisa | pt_BR |
dc.identifier.nrb | 000264958 | pt_BR |
Este item está licenciado na Creative Commons License