König, Barbara:
Hypergraph Construction and its Application to the Compositional Modelling of Concurrency
In: Proceedings of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation (GRATRA 2000) - 2000
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Hypergraph Construction and its Application to the Compositional Modelling of Concurrency
Autor(in):
König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2000
Erschienen in:
Proceedings of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation (GRATRA 2000) - 2000
WWW URL

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.