Volume 26: Manipulation of Graphs, Algebras and Pictures

DOI: http://dx.doi.org/10.14279/tuj.eceasst.26

Table of Contents

Preface

Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday
Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump
PDF

Articles

From Petri Nets to Graph Transformation Systems
Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari
PDF
Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework
Enrico Biermann, Claudia Ermel, Gabriele Taentzer
PDF
Towards the Tree Automata Workbench Marbles
Frank Drewes
PDF
Reaction Systems: a Formal Framework for Processes Based on Biochemical Interactions
Andrzej Ehrenfeucht, Grzegorz Rozenberg
PDF
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions
Hartmut Ehrig, Annegret Habel, Leen Lambers
PDF
Conditional Adaptive Star Grammars
Berthold Hoffmann
PDF
Assemblies as Graph Processes
Dirk Janssens
PDF
Generation of Celtic Key Patterns with Tree-based Collage Grammars
Renate Klempien-Hinrichs, Caroline von Totth
PDF
Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization
Sabine Kuske, Melanie Luderer
PDF
On Judgements and Propositions
Bernd Mahr
PDF
On Teaching Logic and Algebraic Specification
Till Mossakowski
PDF
Algebraic Model Checking
Peter Padawitz
PDF
Checking Graph-Transformation Systems for Confluence
Detlef Plump
PDF
Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods
Christoph Schulz, Michael Löwe, Harald König
PDF