T. Reiter: "T.R.O.P.I.C.: Transformations On Petri Nets In Color"; Betreuer/in(nen), Begutachter/in(nen): W. Retschitzegger, G. Kappel; Institut für Bioinformatik, 2008; Rigorosum: 11.03.2008.