Exploring disease-related molecular processes using Petri nets
Prof. Dr. Ina Koch
Molecular Bioinformatics MolBI
60325 Frankfurt am Main
Tuesday, 17.12.2013, 14:15 PM
Langen, Hörsaal des Paul-Ehrlich-Instituts
Visitors are welcome.
The huge amount of experimental biochemical data enables us to explore not only the acting molecular compounds but also the interactions between them. The aim is to model and simulate these interactions to predict system's behavior, for example after changing environmental conditions or after knockouts or knockins. Petri nets represent a mathematical formalism that has been developed to model systems with causal, concurrent processes. Since more than 20 years Petri nets have been successfully applied to model biochemical systems, including metabolic systems, signal transduction pathways and gene regulatory systems .
The talk starts with a short introduction of Petri net basics. We will focus on methods for network verification. The modeling technique will be discussed using a gene regulatory and signal transduction network which models processes downstream of the dystrophin gene . We will illustrate techniques for network decomposition into functional modules.
 Koch, Reisig, Schreiber, (Eds.) Modeling in Systems Biology: The Petri Net Approach, Springer 2011
 Grunwald et al., BioSystems 92: 189-205 (2008)
Bundesinstitut für Impfstoffe und biomedizinische Arzneimittel