Recherche

Domaines de Recherche:

• Object Petri Nets (seulement en Anglais)
• Langues formelles et calculs (seulement en Allemand)
• Calculabilité et complexité (seulement en Allemand)
• Systemes concurrentes et algorithmes distribues (seulement en Allemand)
• Ingénierie du logiciel avec des réseaux Petri (seulement en Allemand)
• Bases de l'informatique et relations à des autres disciplines (seulement en Allemand)

Projets actuels:

• Herold
• Mondula

• Théorie des langages
  • Hierarchien rekursiver Klassen gefärbter Petrinetze (seulement en Allemand)
  • Definition formaler Sprachen über Rekurrenzgleichungen (seulement en Allemand)
  • Abschlusseigenschaften rationaler Mengen über kommutativen Monoiden (seulement en Allemand)
  • Structures Algébriques Fondamentales de la Concurrence
  • Proprietés Structurelles des Langages Formels
  • Caracterisation Générale de Classes de Langages et de Systèmes de Dérivation
  • Petites Machines Universelles de Turing
  • Parsing et Compileurs
  • Langages des Multiensembles
  • Problèmes de Computation Quantique
  • Modèles des Automates Concurrents
• Systemes concurrentes, Réseaux de Petri et algorithmes distribues
  • Concurrency Theory
  • Logik und Petrinetze (seulement en Allemand)
  • Petrinetzbibliographie und Petrinetz-Webseiten (seulement en Allemand)
  • Dynamische Petrinetzstrukturen (seulement en Allemand)
  • Dynamical Objects in Petri Nets
  • Petri net tools
  • E-Learning (seulement en Allemand)
  • Model-Checking für Objekt-Petrinetze (seulement en Allemand)
  • Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (seulement en Allemand)
• Specification et modelage des systemes
  • Semantiken für semiformale Spezifikationstechniken (seulement en Allemand)
  • Systementwurf mit höheren Petrinetzen (seulement en Allemand)
  • Objektorientierte Analyse mit Petrinetzen (seulement en Allemand)
  • Begriffbildung im Rahmen der Systemspezifikation (seulement en Allemand)
  • Modellierung dynamischer Software-Architekturen (seulement en Allemand)
• Organisation, processus et modelage des processus
  • Geschäftsprozessmodellierung und -management (seulement en Allemand)
  • Web-Engineering (seulement en Allemand)
  • Petrinetze zur Modellierung in sozialen Kontexten (seulement en Allemand)
  • Selbstorganisationsprinzipien (seulement en Allemand)
  • Organisationsorientierte Softwareentwicklung (seulement en Allemand)
• Technologie des agents
  • Theoretische und softwaretechnische Grundlagen der Agentenorientierung (seulement en Allemand)
  • Emotion and informatics (seulement en Anglais)
  • Mulan/Capa (seulement en Allemand)
  • Sicherheitsmethoden und -techniken für petrinetzbasierte Multiagentensysteme (seulement en Allemand)
  • Simulation, Data Mining & Multiagentensysteme (seulement en Allemand)
  • Petri Net and Agent-Based Applications
  • Open Agent Nets
• Langages, écritures et temps
  • Problèmes de Linguistique Mathématique
  • Dévelopment des Systèmes de Metafont et TEX pour Écritures Non-latines
  • Systèmes de Calendriers

Projets anciens

• DFG-Projekt Sozionik (ASKO) (seulement en Allemand)
• DFG-Projekt Sozionik (DISPO) (seulement en Allemand)
• Projekt SISOL (seulement en Allemand)
• Algebraic and Syntactic Methods in Computer Science (ASMICS 2)
• Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
• Langages Formelles, Automates et Réseaux de Petri
• Toward a unifying framework for concurrency
• Anwendung von Ergebnissen über Petrinetze in der Theorie der Matrixgrammatiken (seulement en Allemand)
• Strukturelle Untersuchungen dünner Mengen in NSPACE(log n) (seulement en Allemand)
• Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen (seulement en Allemand)
• Algorithmen zur Analyse von Petrinetzeigenschaften (seulement en Allemand)
• Spezifikation und Verifikation im Rahmen der Typtheorie (seulement en Allemand)
• Generatoren durchschnitts- und twistabgeschlossener Trios (seulement en Allemand)
• Selbstverständnis der Informatik (seulement en Allemand)