@incollection{BlaetkeRohrHeineretal., author = {Bl{\"a}tke, Mary-Ann and Rohr, Christian and Heiner, Monika and Marwan, Wolfgang}, title = {A Petri Net based Framework for Biomodel Engineering}, series = {Large-Scale Networks in Engineering and Life Sciences}, booktitle = {Large-Scale Networks in Engineering and Life Sciences}, editor = {Benner, Peter}, publisher = {Springer}, address = {Heidelberg}, isbn = {978-3-319-08436-7}, doi = {10.1007/978-3-319-08437-4_6}, pages = {317 -- 366}, language = {en} } @incollection{LiuHeiner, author = {Liu, Fei and Heiner, Monika}, title = {Petri Nets for Modeling and Analyzing Biochemical Reaction Networks}, series = {Approaches in Integrative Bioinformatics}, booktitle = {Approaches in Integrative Bioinformatics}, editor = {Chen, Ming and Hofest{\"a}dt, Ralf}, publisher = {Springer}, address = {Heidelberg}, isbn = {978-3-642-41280-6}, doi = {10.1007/978-3-642-41281-3_9}, pages = {245 -- 272}, language = {en} }