Navigation and service

Exploring disease-related molecular processes using Petri nets


Prof. Dr. Ina Koch
Molecular Bioinformatics MolBI
Robert-Mayer-Str. 11-15
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 [1].

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 [2]. We will illustrate techniques for network decomposition into functional modules.

[1] Koch, Reisig, Schreiber, (Eds.) Modeling in Systems Biology: The Petri Net Approach, Springer 2011
[2] Grunwald et al., BioSystems 92: 189-205 (2008)


Bundesinstitut für Impfstoffe und biomedizinische Arzneimittel

Paul-Ehrlich-Straße 51-59
63225 Langen


Phone: +49 6103 77 3718

This Page