7 Einträge gefunden

1. 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
2. Modelling adaptive systems with Maude Nets-Within-Nets

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

   2024 - ReposIt
3. A maude formalization of object nets

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

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

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

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

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

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

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

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

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

   2023 - ReposIt