Object-Oriented Connector-Component Architectures

Autor: Ehrig, H., Braatz, B., Klein, M., Orejas, F., Pérez, S., Pino, E.

Publikováno v: In Electronic Notes in Theoretical Computer Science 1 December 2005 141(3):123-151

New Concepts for High-Level Petri Nets in the Application Domain of Train Control Systems

Autor: Padberg, J., Schiller, P., Ehrig, H.

Publikováno v: In IFAC Proceedings Volumes June 2000 33(9):125-132

Representing First Order Logic Using Graphs

Autor: Rensink, Arend, Ehrig, H, Engels, G., Parisi-Presicce, F., Rozenberg, G.

Publikováno v: Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings, 319-335
STARTPAGE=319;ENDPAGE=335;TITLE=Graph Transformations
Lecture Notes in Computer Science ISBN: 9783540232070
ICGT

We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds to the negation of a set of existentials. The model is a direct general

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b301658bed0af0772bc05940cb07aeb0
https://doi.org/10.1007/978-3-540-30203-2_23

Pattern-Based Graph Abstraction

Autor: Rensink, Arend, Zambon, Eduardo, Ehrig, H, Engels, G., Kreowski, H.J., Rozenberg, G.

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642336539
ICGT
International Conference on Graph Transformation (ICGT 2012), 66-80
STARTPAGE=66;ENDPAGE=80;TITLE=International Conference on Graph Transformation (ICGT 2012)

We present a new abstraction technique for the exploration of graph transformation systems with infinite state spaces. This technique is based on patterns, simple graphs describing structures of interest that should be preserved by the abstraction. P

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4308ad97aa8291953c97c1bcdf00c628
https://doi.org/10.1007/978-3-642-33654-6_5

Graph Transformationcs (ICGT 2010) - Preface

Autor: Ehrig, Hartmut, Rozenberg, Grzegorz, Schürr, Andy, Ehrig, H, Rensink, Arend, Rozenberg, G., Schürr, A.

Publikováno v: International Conference on Graph Transformationcs (ICGT 2010), V-VI
STARTPAGE=V;ENDPAGE=VI;TITLE=International Conference on Graph Transformationcs (ICGT 2010)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::e801c288364fa3b4689eda4fa5c9e20c
https://research.utwente.nl/en/publications/graph-transformationcs-icgt-2010--preface(aa964f3b-b02a-4431-8f13-e755754971b5).html