Sackmann A, Heiner M, Koch I. Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics [Internet]. 2006;7(1):482. http://www.biomedcentral.com/1471-2105/7/482

Sackmann A, Heiner M, Koch I. Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics [Internet]. 2006;7(1):482. http://www.biomedcentral.com/1471-2105/7/482

Voss K, Heiner M, Koch I. Steady state analysis of metabolic pathways using Petri nets. In Silico Biol. 2003;3(3):367-87.