Effiziente Modellierung und Simulation dynamischer Struktursysteme durch Benchmarking von Formalismen

Verschiedene Formalismen für die Modellierung und Simulation dynamischer Struktursysteme wurden entwickelt, aber die meisten sind nur für bestimmte Arten von Systemen effizient. Es ist wichtig, die bestehenden Ansätze zu verstehen, zu analysieren und Lücken zu identifizieren, um einen effizienten Formalismus für dynamische Struktursysteme zu entwickeln.