Hello fellows, I'm about to begin my Master's thesis in 2 months. The thesis regards the modelling of dependencies in network-based Edge Clouds as well as the performance evaluation. I've done some research on which modelling language is the best one for my thesis.
Now I've got UML and SysML. My plan is to build a model with one of those languages and then transform the model into a Petri net model (or another quantitative model such as CTMC) in order to evaluate the performace, reliability, availability, and so on.
Could anyone tell me which of both language mentioned above or another modelling language I should use? I'd very much appreciate your help/ideas!