9 Einträge gefunden

1. SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models

   1. Köhler-Bußmeier, Michael
   2. Deliu, Endri

   2010 - ReposIt
2. Complexity of LTL Model-Checking for Safe Object Nets

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

   2010 - ReposIt
3. A Survey of Decidability Results for Elementary Object Systems

   1. Köhler-Bußmeier, Michael

   2010 - ReposIt
4. Generating Executable MAS-Prototypes from SONAR Specifications

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

   2010 - ReposIt
5. Modelling an open and controlled system unit as a modular component of systems of systems

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

   2010 - ReposIt
6. Liveness of Safe Object Nets

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

   2010 - ReposIt
7. Modelling Distributed Network Security in a Petri Net and Agent-based Approach

   1. Moldt, Daniel
   2. Köhler-Bußmeier, Michael
   3. Theilmann, Axel
   4. Adameit, Simon
   5. Betz, Tobias
   6. Cabac, Lawrence
   7. Hars, Florian

   2010 - ReposIt
8. Einfache Regeln, komplexe Dynamiken: Zur Modellierung von Akteursnetzwerken in den internationalen Beziehungen

   1. Köhler-Bußmeier, Michael
   2. Loewen, Howard

   2010 - ReposIt
9. Safeness for Object Nets

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

   2010 - ReposIt