Abstract
We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical networks, and the application of our approach to the model of the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway. We show that analysis based on a discrete Petri net model of the system can be used to derive the sets of initial concentrations required by the corresponding continuous ordinary differential equation model, and no other initial concentrations produce meaningful steady states. Altogether, this paper represents a tutorial in step-wise modelling and analysis of larger models as well as in structured design of ODEs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Schoeberl, B., Eichler-Jonsson, C., Gilles, E., Muller, G.: Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nature Biotechnology 20, 370–375 (2002)
Kolch, W., Calder, M., Gilbert, D.: When kinases meet mathematics: the systems biology of MAPK signalling. FEBS Letters 579, 1891–1895 (2005)
Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE 77 4, 541–580 (1989)
Fieber, M.: Design und implementation of a generic and adaptive tool for graph manipulation (in German). Master thesis, BTU Cottbus, Dep. of CS (2004)
Starke, P., Roch, S.: INA - The Intergrated Net Analyzer, Humboldt University, Berlin (1999), http://www.informatik.hu-berlin.de/~starke/ina.html
Schröter, C., Schwoon, S., Esparza, J.: The Model-Checking Kit. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 463–472. Springer, Heidelberg (2003)
Matsuno, H., Fujita, S., Doi, A., Nagasaki, M., Miyano, S.: Towards pathway modelling and simulation. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 3–22. Springer, Heidelberg (2003)
Heiner, M., Koch, I.: Petri net based model validation in systems biology. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 216–237. Springer, Heidelberg (2004)
Cho, K.H., Shin, S.Y., Kim, H.W., Wolkenhauer, O., McFerran, B., Kolch, W.: Mathematical modeling of the influence of RKIP on the ERK signaling pathway. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 127–141. Springer, Heidelberg (2003)
Starke, P.H.: Some properties of timed nets under the earliest firing rule. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol. 424, pp. 418–432. Springer, Heidelberg (1990)
Lautenbach, K.: Exact liveness conditions of a Petri net class (in German). Technical report, GMD Report 82, Bonn (1973)
Popova-Zeugmann, L., Heiner, M., Koch, I.: Time Petri nets for modelling and analysis of biochemical networks. Fundamenta Informaticae 67, 149–162 (2005)
Chabrier-Rivier, N., Chiaverini, M., Vincent Danos, F.F., Schächter, V.: Modeling and querying biomolecular interaction networks. Theoretical Computer Science 325, 25–44 (2004)
David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer, Heidelberg (2005)
Lonitz, K.: Hybrid Systems Modelling in Engineering and Life Sciences. Master thesis, Universität Koblenz-Landau (2005)
Scheibler, D.: A software tool for design and simulation of continuous Petri nets (in German). Master thesis, BTU Cottbus, Dep. of CS (2006)
Mendes, P.: GEPASI: A software package for modelling the dynamics, steady states and control of biochemical and other systems. Comput. Applic. Biosci. 9, 563–571 (1993)
Shampine, L.F., Reichelt, M.W.: The MATLAB ODE Suite. SIAM Journal on Scientific Computing 18, 1–22 (1997)
Dormand, J.R., Prince, P.J.: A family of embedded runge-kutta formulae. J. Comp. Appl. Math. 6, 1–22 (1980)
Kolch, W.: Personal communication (2005)
Chen, M., Hofestädt, R.: A medical bioinformatics approach for metabolic disorders: Biomedical data prediction, modeling, and systematic analysis. J. Biomedical Informatics 39(2), 147–159 (2006)
Will, J., Heiner, M.: Petri nets in biology, chemistry, and medicine - bibliography. Technical Report 04/2002, BTU Cottbus, Computer Science (2002)
Calder, M., Gilmore, S., Hillston, J.: Automatically deriving ODEs from process algebra models of signalling pathways. In: Proc. Computational Methods in Systems Biology (CSMB 2005), LFCS, University of Edinburgh, pp. 204–215 (2005)
Silva, M., Recalde, L.: Continuization of timed Petri nets: From performance evaluation to observation and control. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 26–47. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gilbert, D., Heiner, M. (2006). From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis. In: Donatelli, S., Thiagarajan, P.S. (eds) Petri Nets and Other Models of Concurrency - ICATPN 2006. ICATPN 2006. Lecture Notes in Computer Science, vol 4024. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767589_11
Download citation
DOI: https://doi.org/10.1007/11767589_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34699-9
Online ISBN: 978-3-540-34700-2
eBook Packages: Computer ScienceComputer Science (R0)