Professor Dr. Hartmut Ehrig (†)

Projects

As Applicant
- Completed projects
  - Anwendung von Graphtransformation auf visuelle Modellierungssprachen (Research Grants)
  - Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie (Priority Programmes)
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz- Technologie (Research Units)
  - Formale Modellierung und Analyse von flexiblen Prozessen in mobilen Ad-hoc Netzwerken (Research Grants)
  - Behavioural simulation and equivalences of systems modelled by graph transformation (Research Grants)
As Spokesperson
- Completed projects
  - SPP 1064: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen (Priority Programmes)
As Participating Person
- Completed projects
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrinetz-Technologie (Research Units)
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz-Technologie (Research Units)