Abstract
In this paper we present an extendable system to generate models of signal transduction pathways in different modeling languages and to simulate these models with the belonging simulation tools. Systems biology is an emerging research area in Life Sciences with the aim “to develop a system level understanding of biological systems”(Kitano). One step in this direction – besides a lot of other necessary steps – is to model and simulate signal transduction pathways, which describe the flow of signals inside the cell. This can very well be done by using discrete modeling languages such as Petri Nets or Life Sequence Charts. Another step forward is to generate such models out of databases for signal transduction pathways.
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
Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1), 45–80 (2001)
Fisher, J., Harel, D., Hubbard, E.J.A., Piterman, N., Stern, M.J., Swerdlin, N.: Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 236–241. Springer, Heidelberg (2005)
Fleischer, N.: Modellierung und Simulation der P. aeruginosa Infektion mit Petri-Netzen. Master’s thesis, TU Braunschweig (2005)
Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Berlin (2003)
Hucka, M., Finney, A., Bornstein, B.J., Keating, S.M., Shapiro, B.E., Matthews, J., Kovitz, B.L., Schilstra, M.J., Funahashi, A., Doyle, J.C., Kitano, H.: Evolving a Lingua Franca and Associated Software Infrastructure for Computational Systems Biology: The Systems Biology Markup Language (SBML) Project. Systems Biology 1(1), 41–53 (2004)
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)
Harel, D., Marelly, R.: Come, Let’s Play - Scenario Based Programming Using LSCs and the Play-Engine. Springer, Berlin (2003)
Hardy, S., Robillard, P.N.: Modeling and Simulation of Molecular Biology Systems Using Petri Nets: Modeling Goals of Various Approaches. J. Bioinform Comput. Biol. 2(4), 595–613 (2004)
Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, 2nd edn. Springer, Berlin (1997)
Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. STTT. Int. J. on Software Tools for Technology Transfer, Sp. Sec. CPN 04/05 (2007)
Joshi-Tope, G., Gillespie, M., Vastrik, I., D’Eustachio, P., Schmidt, E., de Bono, B., Jassal, B., Gopinath, G.R., Wu, G.R., Matthews, L., Lewis, S., Birney, E., Stein, L.: Reactome: a knowledgebase of biological pathways. Nucleic Acids Research 33(suppl_1), D428–432 (2005)
Kanehisa, M., Goto, S., Hattori, M., Aoki-Kinoshita, K.F., Itoh, M., Kawashima, S., Katayama, T., Araki, M., Hirakawa, M.: From genomics to chemical genomics: new developments in KEGG. Nucleic Acids Research 34(suppl_1), D354–357 (2006)
Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbert, E.J.A., Stern, M.J.: Formal Modelling of C. elegans Development - A Scenario-Based Approach. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology, pp. 151–173. Springer, Berlin (2004)
Klipp, E., Herwig, R., Kowald, A., Wierling, C., Lehrach, H.: Systems Biology in Practice - Concepts, Implementation and Application. Wiley-VCH, Weinheim (2005)
Kitano, H.: Perspectives on systems biology. New Generation Computing 18(3), 199–216 (2000)
Karp, P.D., Ouzounis, C.A., Moore-Kochlacs, C., Goldovsky, L., Kaipa, P., Ahren, D., Tsoka, S., Darzentas, N., Kunin, V., Lopez-Bigas, N.: Expansion of the BioCyc collection of pathway/genome databases to 160 genomes. Nucleic Acids Research 33(19), 6083–6089 (2005)
Krull, M., Pistor, S., Voss, N., Kel, A., Reuter, I., Kronenberg, D., Michael, H., Schwarzer, K., Potapov, A., Choi, C., Kel-Margoulis, O., Wingender, E.: TRANSPATH(R): an information resource for storing and visualizing signaling pathways and their pathological aberrations. Nucleic Acids Research 34(suppl_1), D546–551 (2006)
Lloyd, C.M., Halstead, M.D.B., Nielsen, P.F.: CellML: its future, present and past. Progress in Biophysics and Molecular Biology 85(2-3), 433–450 (2004)
Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Petri Net Based Description and Modeling of Biological Pathways. Algebraic Biology - Computer Algebra in Biology, 19–31 (2005)
Nagasaki, M., Jeong, E., Doi, A., Saito, A., Miyano, S.: CSML 3.0 - Cell System Markup Language - Basic Concept and Specification (2006)
Regev, A., Shapiro, E.: The pi-calculus as an Abstraction for Biomolecular Systems. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology, pp. 219–266. Springer, Berlin (2004)
Täubner, C., Mathiak, B., Kupfer, A., Fleischer, N., Eckstein, S.: Modelling and Simulation of the TLR4 Pathway with Coloured Petri Nets. In: Dhawan, A.P., Laine, F.A., Akay, M., Chon, K.H. (eds.) 28th Annual Int. Conf. of IEEE Engineering in Medicine and Biology Society, New York, 2006, p. 221. IEEE Computer Society Press, Los Alamitos (2006)
Uhrmacher, A.M., Degenring, D., Zeigler, B.: Discrete Event Multi-level Models for Systems Biology. In: Priami, C. (ed.) Transactions on Computational Systems Biology I. LNCS (LNBI), vol. 3380, pp. 66–89. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eckstein, S., Täubner, C. (2007). An Extendable System for Conceptual Modeling and Simulation of Signal Transduction Pathways. In: Hainaut, JL., et al. Advances in Conceptual Modeling – Foundations and Applications. ER 2007. Lecture Notes in Computer Science, vol 4802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76292-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-76292-8_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76291-1
Online ISBN: 978-3-540-76292-8
eBook Packages: Computer ScienceComputer Science (R0)