@phdthesis{TUW-141770, author = {Reiter, Thomas}, title = {T.R.O.P.I.C.: Transformations On Petri Nets In Color}, school = {Institut f{\"u}r Bioinformatik}, year = {2008} }