Skip to main content
SpringerLink
Log in
Book cover

International Conference on Conceptual Modeling

ER 2007: Advances in Conceptual Modeling – Foundations and Applications pp 54–63Cite as

An Extendable System for Conceptual Modeling and Simulation of Signal Transduction Pathways

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4802))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1), 45–80 (2001)

    Article  MATH  Google Scholar 

  2. 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)

    Google Scholar 

  3. Fleischer, N.: Modellierung und Simulation der P. aeruginosa Infektion mit Petri-Netzen. Master’s thesis, TU Braunschweig (2005)

    Google Scholar 

  4. Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Berlin (2003)

    Google Scholar 

  5. 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)

    Article  Google Scholar 

  6. 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)

    Google Scholar 

  7. Harel, D., Marelly, R.: Come, Let’s Play - Scenario Based Programming Using LSCs and the Play-Engine. Springer, Berlin (2003)

    Google Scholar 

  8. 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)

    Article  Google Scholar 

  9. Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, 2nd edn. Springer, Berlin (1997)

    MATH  Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. Klipp, E., Herwig, R., Kowald, A., Wierling, C., Lehrach, H.: Systems Biology in Practice - Concepts, Implementation and Application. Wiley-VCH, Weinheim (2005)

    Google Scholar 

  15. Kitano, H.: Perspectives on systems biology. New Generation Computing 18(3), 199–216 (2000)

    Article  MathSciNet  Google Scholar 

  16. 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)

    Article  Google Scholar 

  17. 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)

    Google Scholar 

  18. 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)

    Article  Google Scholar 

  19. 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)

    Google Scholar 

  20. Nagasaki, M., Jeong, E., Doi, A., Saito, A., Miyano, S.: CSML 3.0 - Cell System Markup Language - Basic Concept and Specification (2006)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. 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)

    Google Scholar 

  23. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technical University of Braunschweig, Germany, Institute of Information Systems,  

    Silke Eckstein & Claudia Täubner

Authors
  1. Silke Eckstein
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Claudia Täubner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jean-Luc Hainaut Elke A. Rundensteiner Markus Kirchberg Michela Bertolotto Mathias Brochhausen Yi-Ping Phoebe Chen Samira Si-Saïd Cherfi Martin Doerr Hyoil Han Sven Hartmann Jeffrey Parsons Geert Poels Colette Rolland Juan Trujillo Eric Yu Esteban Zimányie

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation