A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each perspective adds its contribution to the understanding of the system, thus the three approaches do not compete, but complement each other. We illustrate our approach by applying it to an extended model of the three stage cascade, which forms the core of the ERK signal transduction pathway. Consequently our focus is on transient behaviour analysis. We demonstrate how qualitative descriptions are abstractions over stochastic or continuous descriptions, and show that the stochastic and continuous models approximate each other. A key contribution of the paper consists in a precise definition of biochemically interpreted stochastic Petri nets. Although our framework is based on Petri nets, it can be applied more widely to other formalisms which are used to model and analyse biochemical networks.
KeywordsModel Check Hazard Function Extracellular Signal Regulate Kinase Unify Framework Continuous Time Markov Chain
Unable to display preview. Download preview PDF.
- BioNessie. A biochemical pathway simulation and analysis tool. University of Glasgow, http://www.bionessie.org
- Bause, F., Kritzinger, P.S.: Stochastic Petri Nets. Vieweg (2002)Google Scholar
- Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (2001)Google Scholar
- D’Aprile, D., Donatelli, S., Sproston, J.: CSL model checking for the GreatSPN tool. In: Aykanat, C., Dayar, T., Körpeoğlu, İ. (eds.) ISCIS 2004. LNCS, vol. 3280, pp. 543–552. Springer, Heidelberg (2004)Google Scholar
- Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using Petri nets. TR I-02, CS Dep., BTU Cottbus (2007)Google Scholar
- Max-Gruenebaum-Foundation, http://www.max-gruenebaum-stiftung.de
- Parker, D., Norman, G., Kwiatkowska, M.: PRISM 3.0.beta1 Users’ Guide (2006)Google Scholar
- Snoopy. A tool to design and animate hierarchical graphs. BTU Cottbus, CS Dep., http://www-dssz.informatik.tu-cottbus.de
- Wilkinson, D.J.: Stochastic Modelling for System Biology, 1st edn. CRC Press, New York (2006)Google Scholar