Hypergraph Construction and its Application to the Compositional ...


Barbara König. Hypergraph construction and its application to the compositional modelling of concurrency (extended version). Technical Report TUM-I0003, Technische Universität München, 2000.


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:

    author = {Barbara K{\"o}nig},
    institution = {Technische Universit{\"a}t M{\"u}nchen},
    number = {TUM-I0003},
    title = {Hypergraph Construction and its Application to the Compositional Modelling of Concurrency (Extended version)},
    year = {2000}

GZipped PostScript (135 kB)PDF (237 kB)See wwwbib.informatik.tu-muenchen.de ...Conference version
© University of Duisburg-Essen, Theoretical Computer Science group