Modelling and analysis of self-adaptive systems using petri nets : a robot kitchen case study Wellershaus, Finn Köhler-Bußmeier, Michael Sudeikat, Jan 2025 - ReposIt - frei zugänglich