T. Reiter: "T.R.O.P.I.C.: Transformations On Petri Nets In Color"; Supervisor, Reviewer: W. Retschitzegger, G. Kappel; Institut für Bioinformatik, 2008; oral examination: 2008-03-11.