Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation -- 15 Years...”
Cover Image
Read Now

2
Published 2012
Springer Berlin Heidelberg
“...This book constitutes the proceedings of the 6th International Conference on Graph Transformations...”
Cover Image
Read Now

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Simulation of Dynamic Resource Allocation -- Bisimulation Theory for Graph Transformation Systems...”
Cover Image
Read Now

4
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Parallel Independence in Hierarchical Graph Transformation -- Analysis and Testing -- Generating...”
Cover Image
Read Now

7
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Hyperedge Substitution in Basic Atom-Replacement Languages -- Distributed Graph Transformation...”
Cover Image
Read Now

9
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... and Subsumption in High-Level Replacement Systems -- Knowledge Representation and Graph Transformation...”
Cover Image
Read Now

10
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph...”
Cover Image
Read Now

11
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... between graph grammars and Petri nets -- Hierarchically distributed graph transformation -- On edge...”
Cover Image
Read Now

12
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- Transformation of combined data type and process specifications using projection algebras -- Various simulations...”
Cover Image
Read Now

13
Published 2012
Springer Berlin Heidelberg
“.... In molecular computing, data are encoded as biomolecules and then molecular biology tools are used to transform...”
Cover Image
Read Now

14
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Assistance with the Petri Net Baukasten -- Petri Net Transformations in the ?Petri Net Baukasten? -- Four...”
Cover Image
Read Now

15
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Multiset and K-Subset Transforming Systems -- On P Systems with Active Membranes Solving the Integer...”
Cover Image
Read Now

16
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... recognizers -- 16. Tree transformations and tree transducers -- 17. Composition and decomposition of tree...”
Cover Image
Read Now

17
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Replacement of open interface subnets and stable state transformation equivalence -- Bounded self...”
Cover Image
Read Now

18
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... for system design and analysis -- A simulation system architecture for graph models -- A state transformation...”
Cover Image
Read Now

19
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... by Means of Transformations -- 14. A Reduction Theory for Coloured Nets -- 15. Equivalence Transformations...”
Cover Image
Read Now

20
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Design -- Graph Grammars and Petri Net Transformations -- Message Sequence Charts -- Model-Based...”