direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Graph Transformation in Adhesive HLR Categories
Zitatschlüssel PE05a
Autor Prange, U. and Ehrig, H.
Buchtitel Proceedings of InterSymp 2005
Jahr 2005
Verlag IIAS
Zusammenfassung In this paper we introduce the categorical framework for rule-based transformations of high-level structures, e.g. graphs, hypergraphs, typed and attributed graphs, Petri nets, etc. based on adhesive high-level replacement (HLR) categories. This generalizes the classical theory of algebraic graph transformation systems. In particular we analyze the gluing condition for transformations in a categorical way and illustrate it with an example of Petri nets.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe