Probabilistic timed graph transformation systems - Maximova, Maria (Verfasser); Giese, Holger (Verfasser); Krause, Christian (Verfasser) (Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam, 2017)