Hypergraph Construction and its Application to the Compositional ...
Reference
Barbara König. Hypergraph construction and its application to the compositional modelling of concurrency. In Proc. of GRATRA 2000: Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, 2000.
Abstract
We define a construction operation on hypergraphs using a co-limit and show that its expressiveness concerning graph rewriting is equal to the graph expressions of Courcelle and the double-pushout approach of Ehrig. With an inductive way of representing graphs, graph rewriting arises naturally as a derived concept. The usefulness of our approach for the compositional modelling of concurrent systems is then shown by defining the semantics of a process calculus with mobility and of petri nets.
Suggested BibTeX entry:
@inproceedings{Koe00a,
author = {Barbara K{\"o}nig},
booktitle = {Proc. of GRATRA 2000: Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems},
title = {Hypergraph Construction and its Application to the Compositional Modelling of Concurrency},
year = {2000}
}
