This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys- tems. After a short introduction into systems biology we demonstrate how to develop and validate qualitative models of biological pathways in a systematic manner using the well-established Petri net analysis tech- nique of place and transition invariants. We discuss special properties, which are characteristic ones for biological pathways, and give three rep- resentative case studies, which we model and analyse in more detail. The examples used in this paper cover signal transduction pathways as well as metabolic pathways.
['Monika Heiner', 'Ina Koch']
Petri Net Based Model Validation in Systems Biology