This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems. The book develops typed attributed graph transformation and contains a practical case study.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems. The book develops typed attributed graph transformation and contains a practical case study.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Monographs in Theoretical Computer Science. An EATCS Series |
Release date | November 2010 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2006 |
Authors | Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer |
Dimensions | 235 x 155 x 21mm (L x W x T) |
Format | Paperback |
Pages | 390 |
Edition | Softcover reprint of hardcover 1st ed. 2006 |
ISBN-13 | 978-3-642-06831-7 |
Barcode | 9783642068317 |
Categories | |
LSN | 3-642-06831-6 |