Research

Almost all information processing systems are based on imperative or functional programming languages or deduction systems. Their development essentially involves results of theoretical computer science. Whereas the area is covered almost completely for educational purposes, research concentrates on special subareas.

Fields of Research:

• Object Petri Nets
• Formal Languages and Calculi (German only)
• Computability and Complexity (German only)
• Concurrent Systems and Distributed Algorithms (German only)
• Softwareengineering using Petri nets (German only)
• Foundations of Computer Science and Relations to other Disciplines (German only)

Current projects:

• Herold
• Mondula

• Language theory
  • Hierarchien rekursiver Klassen gefärbter Petrinetze (German only)
  • Definition formaler Sprachen über Rekurrenzgleichungen (German only)
  • Abschlusseigenschaften rationaler Mengen über kommutativen Monoiden (German only)
  • Fundamental Algebraic Structures of Concurrency
  • Structures of Formal Languages
  • General Characterization of Language Classes and Derivation Systems
  • Small Universal Turing Machines
  • Parsing and Compilers
  • Multiset Languages
  • Problems of Quantum Computing
  • Concurrent Automata Models
• Concurrent Systems, Petri nets and Distributed Algorithms
  • Concurrency Theory
  • Logik und Petrinetze (German only)
  • Petrinetzbibliographie und Petrinetz-Webseiten (German only)
  • Dynamische Petrinetzstrukturen (German only)
  • Dynamical Objects in Petri Nets
  • Petri net tools as basis for model creation, evaluation and execution
  • E-Learning (German only)
  • Model-Checking für Objekt-Petrinetze (German only)
  • Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (German only)
• System specifcation and modelling
  • Semantiken für semiformale Spezifikationstechniken (German only)
  • Systementwurf mit höheren Petrinetzen (German only)
  • Objektorientierte Analyse mit Petrinetzen (German only)
  • Begriffbildung im Rahmen der Systemspezifikation (German only)
  • Modellierung dynamischer Software-Architekturen (German only)
• Organisations and business processes
  • Geschäftsprozessmodellierung und -management (German only)
  • Web-Engineering (German only)
  • Petrinetze zur Modellierung in sozialen Kontexten (German only)
  • Selbstorganisationsprinzipien (German only)
  • Organisationsorientierte Softwareentwicklung (German only)
• Agent technology
  • Theoretische und softwaretechnische Grundlagen der Agentenorientierung (German only)
  • Emotion and informatics
  • Mulan/Capa (German only)
  • Sicherheitsmethoden und -techniken für petrinetzbasierte Multiagentensysteme (German only)
  • Simulation, Data Mining & Multiagentensysteme (German only)
  • Petri Net and Agent-Based Applications
  • Open Agent Nets - Modeling, Implementation, Application
• Languages, scripts and time
  • Problems of Mathematical Linguistics
  • Development of Metafont and TEX Systems for Nonlatin Scripts
  • Calendar Systems

Former projects:

• DFG-Project Sozionics (ASKO)
• DFG-Projekt Sozionik (DISPO) (German only)
• Projekt SISOL (German only)
• Algebraic and Syntactic Methods in Computer Science (ASMICS 2)
• Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
• Formal Languages, Automata, and Petri Nets
• Toward a unifying framework for concurrency
• Anwendung von Ergebnissen über Petrinetze in der Theorie der Matrixgrammatiken (German only)
• Strukturelle Untersuchungen dünner Mengen in NSPACE(log n) (German only)
• Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen (German only)
• Algorithmen zur Analyse von Petrinetzeigenschaften (German only)
• Specification and Verification in a Type Theoretic Framework (German only)
• Generatoren durchschnitts- und twistabgeschlossener Trios (German only)
• Selbstverständnis der Informatik (German only)