direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2003



Components for Algebra Transformation Systems

Orejas, F. and Ehrig, H.

Proc. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA). Elsevier, 16. 2003

Link zur Publikation Download Bibtex Eintrag



Generation of Animation Views for Petri Nets in \textscGenGED

Ermel, C., Bardohl, R. and Ehrig, H.

Advances in Petri Nets: Petri Net Technology for Communication Based Systems 2003

Link zur Publikation Download Bibtex Eintrag

Konzeption und Entwicklung eines UML-basierten Funktionsblockmodells für den objektorientierten Steuerungsentwurf

Braatz, A., Klein, M., Ehrig, H. and Westkämper, E.

Tagungsband Entwicklung und Betrieb komplexer Automatisierungssysteme EKA 2003, 15. 2003

Download Bibtex Eintrag


Behavior and Instantiation of High-Level Net Processes

Ehrig, H.

Proc. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA). Elsevier, 16. 2003

Link zur Publikation Download Bibtex Eintrag


2002

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Transactions of the SDPS, 78–104. 2002

Download Bibtex Eintrag

A Component Framework based on High-Level Replacement Systems

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Proc. Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'02), Satellite Event of ICGT'02, 124-138. 2002

Link zur Publikation Download Bibtex Eintrag

Concurrency and Loose Semantics of Open Graph Transformation Systems

Heckel, R., Llabres, M., Ehrig, H. and Orejas, F.

MSCS, 349-376. 2002

Download Bibtex Eintrag

Basic Results for Two Types of High-Level Replacement Systems

Ehrig, H., Habel, A. and Parisi-Presicce, F.

Proc. GETGRATS Closing Workshop, 12. 2002

Link zur Publikation Download Bibtex Eintrag

High-Level Net Processes

Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P. and Heckel, R.

Formal and Natural Computing. SPRINGER, 191 - 219. 2002

Download Bibtex Eintrag

Application of Graph Transformation Techniques to the Area of Petri Nets

Braatz, B., Ehrig, H., Hoffmann, K., Padberg, J. and Urbávsek, M.

Proc. AGT 2002: APPLIGRAPH Workshop on Applied Graph Transformation, 35–44. 2002

Link zur Publikation Download Bibtex Eintrag

A generic component framework for system modeling

Ehrig, H. and Orejas, F.

Proceedings of ETAPS-FASE (Fundamental Approaches of Software Engineering). SPRINGER, 33-48. 2002

Download Bibtex Eintrag


A Generic Component Concept for System Modeling

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Proc. FASE 2002: Formal Aspects of Software Engineering. SPRINGER, 32–48. 2002

Download Bibtex Eintrag



A Transformation-Based Component Framework for a Generic Integrated Modeling Technique

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Proc. of the Sixth World Conference on Integrated Design\& Process Technology (IDPT'02) 2002

Download Bibtex Eintrag

2001

Specification and Implementation of Animation Views for Petri nets

Ermel, C., Bardohl, R. and Ehrig, H.

Proc. of 2nd International Colloquium on Petri Net Technology for Comunication Based Systems, 12. 2001

Link zur Publikation Download Bibtex Eintrag

The ``Petri Net Baukasten'': An Overview

Gajewsky, M. and Ehrig, H.

Unifying Petri Nets. SPRINGER, 26–53. 2001

Download Bibtex Eintrag

On Formal Semantics and Integration of Object Oriented Modeling Languages

Ehrig, H., Geisler, R., Große–Rhode, M., Klar, M. and Mann, S.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore, 226–232. 2001

Download Bibtex Eintrag

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

Journal of Applied Categorical Structures, 83–110. 2001

Link zur Publikation Download Bibtex Eintrag

Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen

Ehrig, H. and Grosse Rhode, M.

Informatik Forschung und Entwicklung, Springer-Verlag, 100–117. 2001

Download Bibtex Eintrag

Tight and Loose Semantics for Transformation Systems

Orejas, F., Ehrig, H. and Pino, E.

Recent Trends in Algebraic Development Techniques. SPRINGER, 287–290. 2001

Download Bibtex Eintrag

Parametrized Net Classes: A Uniform Approach to Petri Net Classes

Padberg, J. and Ehrig, H.

Advances in Petri Nets: Unifying Petri Nets. SPRINGER, 173–229. 2001

Link zur Publikation Download Bibtex Eintrag

Compositional Modeling of Reactive Systems Using Open Nets

Baldan, P., Corradini, A., Ehrig, H. and Heckel, R.

Proc. of CONCUR 2001. SPRINGER, 502-518. 2001

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe