By H. Ehrig, K. Ehrig, U. Prange, G. Taentzer

Raphs are generic to symbolize structural info within the type of items and connections among them. Graph transformation is the rule-based manipulation of graphs, an more and more vital inspiration in machine technological know-how and similar fields. this is often the 1st textbook therapy of the algebraic method of graph transformation, according to algebraic buildings and class theory.

Part I is an creation to the classical case of graph and typed graph transformation. partly II easy and complicated effects are first proven for an summary kind of substitute platforms, so-called adhesive high-level substitute platforms in line with classification thought, and are then instantiated to a number of varieties of graph and Petri web transformation platforms. half III develops typed attributed graph transformation, a method of key relevance within the modeling of visible languages and in version transformation. half IV features a functional case examine on version transformation and a presentation of the AGG (attributed graph grammar) software surroundings. ultimately the appendix covers the fundamentals of classification thought, signatures and algebras.

The publication addresses either examine scientists and graduate scholars in laptop technology, arithmetic and engineering.

Show description

Read Online or Download Fundamentals of Algebraic Graph Transformation PDF

Best Graph Theory books

Fixed Point Theory and Graph Theory: Foundations and Integrative Approaches

Mounted element thought and Graph thought presents an intersection among the theories of mounted element theorems that provide the stipulations lower than which maps (single or multivalued) have options and graph concept which makes use of mathematical constructions to demonstrate the connection among ordered pairs of items by way of their vertices and directed edges.

Random Geometric Graphs (Oxford Studies in Probability)

This monograph offers and explains the math in the back of geometric graph conception, which experiences the houses of a graph that contains nodes put in Euclidean house in order that edges should be additional to attach issues which are with regards to each other. for instance, a suite of bushes scattered in a wooded area and the ailment that's handed among them, a suite of nests of animals or birds on a sector and the communique among them or conversation among communications stations or nerve cells.

Matroid Theory (Oxford Graduate Texts in Mathematics)

* what's the essence of the similarity among linearly self sustaining units of columns of a matrix and forests in a graph? * Why does the grasping set of rules produce a spanning tree of minimal weight in a hooked up graph? * do we attempt in polynomial time even if a matrix is completely unimodular? Matroid concept examines and solutions questions like those.

The Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of its Creators

This booklet presents a thrilling historical past of the invention of Ramsey conception, and comprises new learn besides infrequent images of the mathematicians who constructed this concept, together with Paul Erdös, B. L. van der Waerden, and Henry Baudet.

Extra info for Fundamentals of Algebraic Graph Transformation

Show sample text content

Rated 4.81 of 5 – based on 43 votes