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:
-
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
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)
