162 Einträge gefunden

1. Modelling and analysis of self-adaptive systems using petri nets : a robot kitchen case study

   1. Wellershaus, Finn
   2. Köhler-Bußmeier, Michael
   3. Sudeikat, Jan

   2025 - ReposIt - frei zugänglich
2. Analysing probabilistic hornets

   1. Köhler-Bußmeier, Michael
   2. Capra, Lorenzo

   2025 - ReposIt
3. Algebraic petri nets with active tokens : effective implementation in maude

   1. Capra, Lorenzo
   2. Köhler-Bußmeier, Michael

   2025 - ReposIt - frei zugänglich
4. A "symbolic" representation of object-nets (extended version)

   1. Köhler-Bußmeier, Michael
   2. Capra, Lorenzo

   2024 - ReposIt
5. Modelling adaptive systems with Maude Nets-Within-Nets

   1. Capra, Lorenzo
   2. Köhler-Bußmeier, Michael

   2024 - ReposIt
6. Modular rewritable petri nets : an efficient model for dynamic distributed systems

   1. Capra, Lorenzo
   2. Köhler-Bußmeier, Michael

   2024 - ReposIt - frei zugänglich
7. A “symbolic” representation of object-nets

   1. Köhler-Bußmeier, Michael
   2. Capra, Lorenzo

   2024 - ReposIt
8. Assets, artifacts and (multi-)agents : on enacting adaptive organizations in cyber-physical systems ; invited talk

   1. Sudeikat, Jan
   2. Köhler-Bußmeier, Michael

   2024 - ReposIt - frei zugänglich
9. Studying the micro-macro-dynamics in MAPE-like adaption processes

   1. Köhler-Bußmeier, Michael
   2. Sudeikat, Jan

   2024 - ReposIt
10. Petri-Nets@Run.Time : handling uncertainty during run-time adaptation using digital twins

    1. Köhler-Bußmeier, Michael
    2. Rölke, Heiko

    2023 - ReposIt - frei zugänglich
11. Encoding nets-within-nets in maude

    1. Capra, Lorenzo
    2. Köhler-Bußmeier, Michael

    2023 - ReposIt
12. Analysing adaption processes of hornets

    1. Köhler-Bußmeier, Michael
    2. Rölke, Heiko

    2023 - ReposIt
13. Balance vs. contingency : adaption measures for organizational multi-agent systems

    1. Köhler-Bußmeier, Michael
    2. Sudeikat, Jan

    2023 - ReposIt
14. Robustness : a natural definition based on nets-within-nets

    1. Köhler-Bußmeier, Michael
    2. Capra, Lorenzo

    2023 - ReposIt - frei zugänglich
15. A maude formalization of object nets

    1. Capra, Lorenzo
    2. Köhler-Bußmeier, Michael

    2023 - ReposIt
16. Maude specification of nets-within-nets : a formal model of adaptable distributed systems

    1. Capra, Lorenzo
    2. Köhler-Bußmeier, Michael

    2023 - ReposIt
17. Modelling adaptive systems with nets-within-nets in maude

    1. Capra, Lorenzo
    2. Köhler-Bußmeier, Michael

    2023 - ReposIt - frei zugänglich
18. Defining adaption measures for organisational multi-agent systems

    1. Köhler-Bußmeier, Michael
    2. Sudeikat, Jan

    2023 - ReposIt
19. Controlled run-time adaptivity in industrial agent systems : challenges and research prospects

    1. Sudeikat, Jan
    2. Köhler-Bußmeier, Michael

    2023 - ReposIt
20. Analysing adaption processes of hornets

    1. Köhler-Bußmeier, Michael
    2. Rölke, Heiko

    2022 - ReposIt - frei zugänglich