60 Einträge gefunden

1. Efficient Automotive Grid Maps using a Sensor Ray based Refinement Process.

   1. Jungnickel, Ruben
   2. Köhler, Michael
   3. Korf, Franz

   2016 - ReposIt
2. A Formal Model of Multi-Agent Organisations

   1. Köhler, Michael

   2007 - ReposIt
3. Reachable Markings of Object Petri Nets

   1. Köhler, Michael

   2007 - ReposIt
4. Object nets for mobility

   1. Köhler, Michael
   2. Farwer, Berndt

   2007 - ReposIt
5. Dynamic Transition Refinement

   1. Köhler, Michael
   2. Rölke, Heiko

   2007 - ReposIt
6. Web Service Orchestration with Super-Dual Object Nets

   1. Köhler, Michael
   2. Rölke, Heiko

   2007 - ReposIt
7. Petri Net-Based Specification and Deployment of Organizational Models

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

   2007 - ReposIt
8. Socionic Multi-Agent Systems based on Reflexive Petri Nets and Theories of Social Self-Organisation

   1. Köhler, Michael
   2. Langer, Roman
   3. von Lüde, Rolf
   4. Moldt, Daniel
   5. Rölke, Heiko
   6. Valk, Rüdiger

   2007 - ReposIt
9. Multi-Agent Systems and Applications V : Organizational Models and Multi-Agent System Deployment

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

   2007 - ReposIt
10. Dynamic Transition Refinement

    1. Köhler, Michael
    2. Rölke, Heiko

    2006 - ReposIt
11. Properties of Super-Dual Nets

    1. Köhler, Michael
    2. Rölke, Heiko

    2006 - ReposIt
12. Theoriebewertung und Modellerstellung : Ein Erfahrungsbericht

    1. Köhler, Michael
    2. Valk, Rüdiger

    2006 - ReposIt
13. The Reachability Problem for Object Nets

    1. Köhler, Michael

    2006 - ReposIt
14. Dynamic Service Composition: A Petri-Net Based Approach

    1. Köhler, Michael
    2. Moldt, Daniel
    3. Ortmann, Jan

    2006 - ReposIt
15. Reachable Markings of Object Petri Nets

    1. Köhler, Michael

    2006 - ReposIt
16. Formalising Multi-Agent Organisations

    1. Köhler, Michael

    2006 - ReposIt
17. Petri Net Processes for zero-safe nets

    1. Köhler, Michael
    2. Farwer, Berndt

    2005 - ReposIt
18. Formal aspects for semantic service modeling Based on high-level petri nets

    1. Köhler, Michael
    2. Ortmann, Jan

    2005 - ReposIt
19. Reference and Value Semantics are equivalent for Ordinary Object Petri Nets

    1. Köhler, Michael
    2. Rölke, Heiko

    2005 - ReposIt
20. Super-Dual Nets

    1. Köhler, Michael
    2. Rölke, Heiko

    2005 - ReposIt