Arbeitsbereich
THEORETISCHE GRUNDLAGEN DER INFORMATIK

Heiko Rölke

Aktuelle Projekte:: Nebenläufige Automatenmodelle; Petrinetzbibliographie und Petrinetz-Webseiten; Dynamische Petrinetzstrukturen; Petrinetz-Werkzeuge als Grundlage der Modellbildung, -bewertung und -ausführung; Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze; Semantiken für semiformale Spezifikationstechniken; Objektorientierte Analyse mit Petrinetzen; Modellierung dynamischer Software-Architekturen; Geschäftsprozessmodellierung und -management; Theoretische und softwaretechnische Grundlagen der Agentenorientierung; Petrinetze zur Modellierung in sozialen Kontexten; Mulan/Capa; Petrinetz- und agentenbasierte Anwendungen; DFG-Projekt Sozionik (DISPO)
Frühere Projekte:: DFG-Projekt Sozionik (ASKO); Projekt SISOL
Mitgliedschaft (international):: GI (Gesellschaft für Informatik), Fachgruppen Petrinetze und KI /VKI
Mitgliedschaft (Universität):: Wirtschaftsausschuss; Prüfungsausschuss (Stellvertreter); Gemeinsame Kommission Bioinformatik (Stellvertreter)
Bibliographie
Lehrveranstaltungen

Workshops und Konferenzen (Programmkommitee)

Workshop PNSE'07: International Workshop on Petri Nets and Software Engineering, Siedlce, Poland, June 25-26, 2007

Gutachter (Auswahl)

ICATPN 2001, MOCA 2002, MOCA 2004, ICATPN 2006, MOCA 2006, ICATPN 2007

Letzte Änderung: 15:03 20.06.2008