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