Model-driven middleware support for team-oriented process management Köhler-Bußmeier, Michael Wester-Ebbinghaus, Matthias 2012 - Forschungsinformationssystem der UHH
23 - Workflow, KKN : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
On the complexity of safe, elementary hornets Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
OE-Vorlesung: Einführung in Petrinetze : OE Wahlpflichtvorstellung Köhler-Bußmeier, Michael 2012 - Lecture2Go UHH - frei zugänglich
24 - Workflow, Bankiersproblem : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
Conservative elementary object systems Köhler-Bußmeier, Michael Heitmann, Frank 2012 - Forschungsinformationssystem der UHH
27 - KKN, CPN, Datenbankmanager, Renew : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
Complexity of LTL modelchecking for safe object nets Köhler-Bußmeier, Michael Heitmann, Frank 2012 - Forschungsinformationssystem der UHH
P- and T-systems in the nets-within-nets-formalism Heitmann, Frank Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
Analysing SONAR model transformations Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
Negotiating inter-organisational processes:an approach based on unfoldings and workflow nets Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
A mobility logic for object net systems Heitmann, Frank Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH