TGI

• Heimatseite
• Ankündigungen
• Mitarbeiterinnen und Mitarbeiter
• Studentinnen und Studenten

Lehre

• Lehre
• Abschlussarbeiten

Forschung

• Forschung
• Publikationen

Misc

• Service
• Tools
• Petri Nets World
  

Forschung

Praktisch alle Informatiksysteme basieren auf imperativen bzw. funktionalen Programmiersprachen oder Deduktionssystemen. Ihre Entwicklung beruht weitgehend auf Ergebnissen der Theoretischen Informatik. Während das Gebiet in der Lehre fast lückenlos dargestellt wird, findet in der Forschung eine Konzentration auf einige Teilgebiete statt.

Forschungsschwerpunkte:

• Objekt-Petrinetze (nur auf englisch)
• Formale Sprachen und Kalküle
• Berechenbarkeit und Komplexität
• Nebenläufige Systeme und verteilte Algorithmen
• Softwaretechnischer Systementwurf mit Hilfe von Petrinetzen
• Grundlagen der Informatik und Bezüge zu anderen Disziplinen

Aktuelle Projekte:

Drittmittelprojekte

• Herold
• Mondula

Etatisierte Projekte

• Sprachtheorie
  • Hierarchien rekursiver Klassen gefärbter Petrinetze
  • Definition formaler Sprachen über Rekurrenzgleichungen
  • Abschlusseigenschaften rationaler Mengen über kommutativen Monoiden
  • Fundamentale algebraische Strukturen der Nebenläufigkeit
  • Struktureigenschaften formaler Sprachen
  • Allgemeine Charakterisierung von Sprachklassen und Ableitungssystemen
  • Kleine Universelle Turing-Maschinen
  • Parsing und Compiler
  • Sprachen von Multimengen
  • Probleme der Quantenrechner
  • Nebenläufige Automatenmodelle
• Nebenläufige Systeme, Petrinetze und verteilte Algorithmen
  • Concurrency-Theorie
  • Logik und Petrinetze
  • Petrinetzbibliographie und Petrinetz-Webseiten
  • Dynamische Petrinetzstrukturen
  • Dynamische Objekte in Petrinetzen
  • Petrinetz-Werkzeuge als Grundlage der Modellbildung, -bewertung und -ausführung
  • E-Learning
  • Model-Checking für Objekt-Petrinetze
  • Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze
• Modellierung und Systemspezifikation
  • Semantiken für semiformale Spezifikationstechniken
  • Systementwurf mit höheren Petrinetzen
  • Objektorientierte Analyse mit Petrinetzen
  • Begriffbildung im Rahmen der Systemspezifikation
  • Modellierung dynamischer Software-Architekturen
• Organisationen und Geschäftsprozesse
  • Geschäftsprozessmodellierung und -management
  • Web-Engineering
  • Petrinetze zur Modellierung in sozialen Kontexten
  • Selbstorganisationsprinzipien
  • Organisationsorientierte Softwareentwicklung
• Agententechnologie
  • Theoretische und softwaretechnische Grundlagen der Agentenorientierung
  • Emotion und Informatik (nur auf englisch)
  • Mulan/Capa
  • Sicherheitsmethoden und -techniken für petrinetzbasierte Multiagentensysteme
  • Simulation, Data Mining & Multiagentensysteme
  • Petrinetz- und agentenbasierte Anwendungen
  • Offene Agentennetze - Modellierung, Implementierung, Verwendung
• Sprache, Schrift und Zeit
  • Probleme der Mathematischen Linguistik
  • Entwicklung von Metafont- und TEX-Systemen für nichtlateinische Schriften
  • Kalendersysteme

Frühere Projekte:

• DFG-Projekt Sozionik (ASKO)
• DFG-Projekt Sozionik (DISPO)
• Projekt SISOL
• Algebraic and Syntactic Methods in Computer Science (ASMICS 2)
• Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
• Formale Sprachen, Automaten und Petrinetze
• Kategorientheoretische Darstellung nebenläufiger Systeme
• Anwendung von Ergebnissen über Petrinetze in der Theorie der Matrixgrammatiken
• Strukturelle Untersuchungen dünner Mengen in NSPACE(log n)
• Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen
• Algorithmen zur Analyse von Petrinetzeigenschaften
• Spezifikation und Verifikation im Rahmen der Typtheorie
• Generatoren durchschnitts- und twistabgeschlossener Trios
• Selbstverständnis der Informatik