TY - GEN A1 - Gilbert, David A1 - Breitling, Rainer A1 - Heiner, Monika A1 - Donaldson, Robin T1 - An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways KW - Petri Nets Y1 - 2009 ER - TY - CHAP A1 - Heiner, Monika A1 - Breitling, Rainer A1 - Gilbert, David A1 - Priami, C. T1 - Formal Methods in Molecular Biology KW - Petri Nets Y1 - 2009 UR - http://drops.dagstuhl.de/portals/index.php?semnr=09091 ER -