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 PE06
Autor Prange, U. and Ehrig, H.
Buchtitel Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Proceedings of Intern. Conf. on Systems Research, Informatics and Cybernetics 2005
Jahr 2006
ISSN ISBN 1-897 233-36-1
Adresse Tecumseh, Canada
Jahrgang 1
Herausgeber Lalsker, G.E. and Pfalzgraf, J.
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