:

Proiecte actuale:

• Herold
• Mondula

• • Hierarchien rekursiver Klassen gefärbter Petrinetze
  • Definition formaler Sprachen über Rekurrenzgleichungen
  • Abschlusseigenschaften rationaler Mengen über kommutativen Monoiden
  • Structuri Algebrice Fundamentale de Concurenţă
  • Structuri de Limbaje Formale
  • Caracterizarea Generală a Claselor de Limbaje şi a Sistemelor Derivaţionale
  • Maşini Turing Universale Mici
  • Parsare şi Compilatoare
  • Limbaje Multiset
  • Probleme de Calcul Cuantic
  • Modelele Automatelor Concurente
• • Logik und Petrinetze
  • Petrinetzbibliographie und Petrinetz-Webseiten
  • Dynamische Petrinetzstrukturen
  • E-Learning
  • Model-Checking für Objekt-Petrinetze
  • Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze
• • Semantiken für semiformale Spezifikationstechniken
  • Systementwurf mit höheren Petrinetzen
  • Objektorientierte Analyse mit Petrinetzen
  • Begriffbildung im Rahmen der Systemspezifikation
  • Modellierung dynamischer Software-Architekturen
• • Geschäftsprozessmodellierung und -management
  • Web-Engineering
  • Petrinetze zur Modellierung in sozialen Kontexten
  • Selbstorganisationsprinzipien
  • Organisationsorientierte Softwareentwicklung
• • Theoretische und softwaretechnische Grundlagen der Agentenorientierung
  • Mulan/Capa
  • Sicherheitsmethoden und -techniken für petrinetzbasierte Multiagentensysteme
  • Simulation, Data Mining & Multiagentensysteme
• • Probleme de Lingvistică Matematică
  • Dezvoltarea Metafontului şi Sistemelor TEX pentru Scrieri Non-latine
  • Sisteme Calendar

Proiecte

• 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)
• Limbaje Formale, Automate, şi Reţele de Petri
• 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
• Generatoren durchschnitts- und twistabgeschlossener Trios
• Selbstverständnis der Informatik