Modelling and Analysis of Self-Adaptive Systems using Petri Nets: A Robot Kitchen Case Study. - Finn Wellershaus; Michael Köhler-Bußmeier; Jan Sudeikat (PNSE/ATAED/PeNGE@PETRI NETS, 2025)