Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis. - Monika Heiner; Ina Koch; Jürgen Will (CMSB, 2003)