Group
THEORETICAL FOUNDATIONS OF COMPUTER SCIENCE

Heiko Rölke

Current projects:: Concurrent Automata Models; Petrinetzbibliographie und Petrinetz-Webseiten (German only); Dynamische Petrinetzstrukturen (German only); Petri net tools as basis for model creation, evaluation and execution; Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (German only); Semantiken für semiformale Spezifikationstechniken (German only); Objektorientierte Analyse mit Petrinetzen (German only); Modellierung dynamischer Software-Architekturen (German only); Geschäftsprozessmodellierung und -management (German only); Theoretische und softwaretechnische Grundlagen der Agentenorientierung (German only); Petrinetze zur Modellierung in sozialen Kontexten (German only); Mulan/Capa (German only); Petri Net and Agent-Based Applications; DFG-Projekt Sozionik (DISPO) (German only)
Former projects:: DFG-Project Sozionics (ASKO); Projekt SISOL (German only)
Membership (international):: GI (Gesellschaft für Informatik), Fachgruppen Petrinetze und KI /VKI
Membership (University):: Wirtschaftsausschuss; Prüfungsausschuss (Stellvertreter); Gemeinsame Kommission Bioinformatik (Stellvertreter)
Bibliography
Teaching

Workshops and Conferences (PC Member)

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

Referee/Reviews for (selection)

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

Last Change: 15:03 06/20/2008