@phdthesis{Liu2017, author = {Fei Liu}, title = {Colored Petri Nets for Systems Biology}, type = {doctoralthesis}, pages = {XVI, 158}, url = {http://opus.kobv.de/btu/volltexte/2012/2365/pdf/LiuFei_Thesis_final.pdf}, year = {2017}, }