|
Logic & Semantics |
Graphs and graph transformations are powerful visual concepts and techniques to model all kind of systems in Computer Science and related areas. In this lecture we give an introduction to the algebraic approach of graph transformation, called double-pushout (DPO) - approach, and a short overview of related approaches and main application areas. We present main concepts and results concerning parallelism, consistency and application conditions. Finally we make some remarks concerning relative pushouts used by Milner and others in the new framework of bigraphical reactive systems.