Investigacion

Fields of Research:

• Object Petri Nets (sólo en Inglés)
• Formale Sprachen und Kalküle (sólo en Alemán)
• Berechenbarkeit und Komplexität (sólo en Alemán)
• Nebenläufige Systeme und verteilte Algorithmen (sólo en Alemán)
• Softwaretechnischer Systementwurf mit Hilfe von Petrinetzen (sólo en Alemán)
• Grundlagen der Informatik und Bezüge zu anderen Disziplinen (sólo en Alemán)

Proyectos Actuales:

• Herold
• Mondula

• • Hierarchien rekursiver Klassen gefärbter Petrinetze (sólo en Alemán)
  • Definition formaler Sprachen über Rekurrenzgleichungen (sólo en Alemán)
  • Abschlusseigenschaften rationaler Mengen über kommutativen Monoiden (sólo en Alemán)
  • Estructuras Algebráicas Básicas de Concurrencia
  • Estructuras de Lenguajes Formales
  • Caracterización General de Clases de Lenguajes y Sistemas de Derivación
  • Máquinas de Turing Universales Pequeñas
  • Analisis y Compiladores
  • Lenguajes de Multiconjuntos
  • Problemas de Computación Cuántica
  • Modelos de Autómatos Concurrentes
• Nebenläufige Systeme, Petrinetze und verteilte Algorithmen
  • Concurrency Theory
  • Logik und Petrinetze (sólo en Alemán)
  • Petrinetzbibliographie und Petrinetz-Webseiten (sólo en Alemán)
  • Dynamische Petrinetzstrukturen (sólo en Alemán)
  • Dynamical Objects in Petri Nets
  • Petri net tools
  • E-Learning (sólo en Alemán)
  • Model-Checking für Objekt-Petrinetze (sólo en Alemán)
  • Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (sólo en Alemán)
• • Semantiken für semiformale Spezifikationstechniken (sólo en Alemán)
  • Systementwurf mit höheren Petrinetzen (sólo en Alemán)
  • Objektorientierte Analyse mit Petrinetzen (sólo en Alemán)
  • Begriffbildung im Rahmen der Systemspezifikation (sólo en Alemán)
  • Modellierung dynamischer Software-Architekturen (sólo en Alemán)
• • Geschäftsprozessmodellierung und -management (sólo en Alemán)
  • Web-Engineering (sólo en Alemán)
  • Petrinetze zur Modellierung in sozialen Kontexten (sólo en Alemán)
  • Selbstorganisationsprinzipien (sólo en Alemán)
  • Organisationsorientierte Softwareentwicklung (sólo en Alemán)
• • Theoretische und softwaretechnische Grundlagen der Agentenorientierung (sólo en Alemán)
  • Emotion and informatics (sólo en Inglés)
  • Mulan/Capa (sólo en Alemán)
  • Sicherheitsmethoden und -techniken für petrinetzbasierte Multiagentensysteme (sólo en Alemán)
  • Simulation, Data Mining & Multiagentensysteme (sólo en Alemán)
  • Petri Net and Agent-Based Applications
  • Open Agent Nets
• • Problemas de Lingüística Matemática
  • Desarrollo de Metafont y Sistemas de TEX para Escrituras Nonlatinas
  • Sistemas de Calendarios

Proyectos antiguos:

• DFG-Proyecto Socionica (ASKO)
• DFG-Projekt Sozionik (DISPO) (sólo en Alemán)
• Projekt SISOL (sólo en Alemán)
• Algebraic and Syntactic Methods in Computer Science (ASMICS 2)
• Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
• Lenguajes Formales, Autómatos y Redes de Petri
• Toward a unifying framework for concurrency
• Anwendung von Ergebnissen über Petrinetze in der Theorie der Matrixgrammatiken (sólo en Alemán)
• Strukturelle Untersuchungen dünner Mengen in NSPACE(log n) (sólo en Alemán)
• Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen (sólo en Alemán)
• Algorithmen zur Analyse von Petrinetzeigenschaften (sólo en Alemán)
• Spezifikation und Verifikation im Rahmen der Typtheorie (sólo en Alemán)
• Generatoren durchschnitts- und twistabgeschlossener Trios (sólo en Alemán)
• Selbstverständnis der Informatik (sólo en Alemán)