22 Einträge gefunden

1. On the complexity of safe, elementary hornets

   1. Köhler-Bußmeier, Michael

   2012 - Forschungsinformationssystem der UHH
2. Model-driven middleware support for team-oriented process management

   1. Köhler-Bußmeier, Michael
   2. Wester-Ebbinghaus, Matthias

   2012 - Forschungsinformationssystem der UHH
3. Complexity of LTL modelchecking for safe object nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2012 - Forschungsinformationssystem der UHH
4. Proceedings of the International Workshop on Concurrency, Specification, and Programming ; On the Complexity of Safe, Elementary Hornets

   1. Köhler-Bußmeier, Michael

   2012 - ReposIt
5. 23 - Workflow, KKN : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2012 - Lecture2Go UHH - frei zugänglich
6. Analysing SONAR model transformations

   1. Köhler-Bußmeier, Michael

   2012 - Forschungsinformationssystem der UHH
7. 24 - Workflow, Bankiersproblem : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2012 - Lecture2Go UHH - frei zugänglich
8. Proceedings of the International Workshop on Concurrency, Specification, and Programming ; Negotiating Inter-Organisational Processes: An approach based on Unfoldings and Workflow Nets

   1. Köhler-Bußmeier, Michael

   2012 - ReposIt
9. Conservative elementary object systems

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2012 - Forschungsinformationssystem der UHH
10. Negotiating inter-organisational processes : an approach based on unfoldings and workflow nets

    1. Köhler-Bußmeier, Michael

    2012 - ReposIt
11. On the complexity of safe, elementary hornets

    1. Köhler-Bußmeier, Michael

    2012 - ReposIt
12. A mobility logic for object net systems

    1. Heitmann, Frank
    2. Köhler-Bußmeier, Michael

    2012 - Forschungsinformationssystem der UHH
13. 27 - KKN, CPN, Datenbankmanager, Renew : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael
    2. Moldt, Daniel

    2012 - Lecture2Go UHH - frei zugänglich
14. Analysing SONAR Model Transformations

    1. Köhler-Bußmeier, Michael

    2012 - ReposIt
15. P- and T-systems in the nets-within-nets-formalism

    1. Heitmann, Frank
    2. Köhler-Bußmeier, Michael

    2012 - Forschungsinformationssystem der UHH
16. Model-Driven Middleware Support for Team-Oriented Process Management

    1. Köhler-Bußmeier, Michael
    2. Wester-Ebbinghaus, Matthias

    2012 - ReposIt
17. Negotiating inter-organisational processes:an approach based on unfoldings and workflow nets

    1. Köhler-Bußmeier, Michael

    2012 - Forschungsinformationssystem der UHH
18. Conservative Elementary Object Systems

    1. Köhler-Bußmeier, Michael
    2. Heitmann, Frank

    2012 - ReposIt
19. P- and T-Systems in the Nets-within-Nets Formalism

    1. Heitmann, Frank
    2. Köhler-Bußmeier, Michael

    2012 - ReposIt
20. OE-Vorlesung: Einführung in Petrinetze : OE Wahlpflichtvorstellung

    1. Köhler-Bußmeier, Michael

    2012 - Lecture2Go UHH - frei zugänglich