13 Einträge gefunden

1. Analysing probabilistic hornets

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

   2025 - ReposIt
2. Using rewriting systems for performance analysis

   1. Capra, Lorenzo
   2. Gribaudo, Marco
   3. Iacono, Mauro
   4. Köhler-Bußmeier, Michael

   2025 - ReposIt - frei zugänglich
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. Simulating self-modifying multi-agent systems with probabilistic nets-within-nets

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

   2025 - 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. A "symbolic" representation of object-nets (extended version)

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

   2024 - ReposIt
9. Encoding nets-within-nets in maude

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

   2023 - ReposIt
10. A maude formalization of object nets

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

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

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

    2023 - ReposIt - frei zugänglich
12. Maude specification of nets-within-nets : a formal model of adaptable distributed systems

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

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

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

    2023 - ReposIt - frei zugänglich