Skip to main content

2019 | OriginalPaper | Buchkapitel

13. A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets

verfasst von : Amr Ismail, Mostafa Herajy, Monika Heiner

Erschienen in: Automated Reasoning for Systems Biology and Medicine

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Intracellular calcium dynamics plays an important role in influencing the outcome of many cellular processes. Constructing and simulating computational models to investigate this biological behaviour are intricate and require the interplay of stochastic and deterministic processes as there are multiple spatial and temporal scales involved. Therefore, many hybrid models have been devised to analyse intracellular calcium dynamics. However, all these models are based on reaction–diffusion equations which are not intuitive for many bioscientists. In contrast, Petri nets do offer an intuitive and graphical approach to model biological processes. To deal with new challenges due to the advances in dynamical modelling, Petri nets have been extended in different directions. Coloured hybrid Petri nets are one of these extensions that support hybrid modelling of complex biological systems using a parametrised language and abstract high-level notations permitting various timing features. In this paper, we present a graphical hybrid model of intracellular calcium dynamics based on coloured hybrid Petri nets. The proposed model can easily be adapted by adjusting a few parameters. Moreover, we illustrate model operations by conducting three simulation experiments in the two-dimensional space. We use Snoopy, a tool to construct and execute qualitative and quantitative Petri nets, to implement the proposed model.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Ajmone M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley series in parallel computing. Wiley, New Jersey Ajmone M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley series in parallel computing. Wiley, New Jersey
3.
Zurück zum Zitat Berridge MJ (1997) Elementary and global aspects of calcium signalling. J Exp Biol 200(2):315–319CrossRef Berridge MJ (1997) Elementary and global aspects of calcium signalling. J Exp Biol 200(2):315–319CrossRef
5.
Zurück zum Zitat Daniel MDO, Sean M, Kevin FJ (1998) Inositol 1,4,5-tris-phosphate activation of inositol tris-phosphate receptor \(Ca^{2+}\) channel by ligand tuning of \(Ca^{2+}\) inhibition. Proc Natl Acad Sci U S A 95:15821–15825 Daniel MDO, Sean M, Kevin FJ (1998) Inositol 1,4,5-tris-phosphate activation of inositol tris-phosphate receptor \(Ca^{2+}\) channel by ligand tuning of \(Ca^{2+}\) inhibition. Proc Natl Acad Sci U S A 95:15821–15825
6.
Zurück zum Zitat David R, Alla H (2010) Discrete, continuous, and hybrid Petri nets. Springer, BerlinCrossRef David R, Alla H (2010) Discrete, continuous, and hybrid Petri nets. Springer, BerlinCrossRef
10.
Zurück zum Zitat Falcke M (2004) Reading the patterns in living cells - the physics of \(Ca^{2+}\) signaling. Adv Phys 53:255–440 Falcke M (2004) Reading the patterns in living cells - the physics of \(Ca^{2+}\) signaling. Adv Phys 53:255–440
13.
Zurück zum Zitat Heiner M, Herajy M, Liu F, Rohr C, Schwarick M (2012) Snoopy – a unifying Petri net tool. In: Haddad S, Pomello L(eds) Proceedings PETRI NETS 2012, LNCS, vol. 7347. Springer, Berlin, pp 398–407 Heiner M, Herajy M, Liu F, Rohr C, Schwarick M (2012) Snoopy – a unifying Petri net tool. In: Haddad S, Pomello L(eds) Proceedings PETRI NETS 2012, LNCS, vol. 7347. Springer, Berlin, pp 398–407
15.
Zurück zum Zitat Herajy M, Heiner M (2012) Hybrid representation and simulation of stiff biochemical networks. J Nonlinear Anal: Hybrid Syst 6(4):942–959MathSciNetMATH Herajy M, Heiner M (2012) Hybrid representation and simulation of stiff biochemical networks. J Nonlinear Anal: Hybrid Syst 6(4):942–959MathSciNetMATH
16.
Zurück zum Zitat Herajy M, Heiner M (2016) Accelerated simulation of hybrid biological models with quasi-disjoint deterministic and stochastic subnets. In: Cinquemani E, Donzé A (eds) Hybrid systems biology: 5th international workshop, HSB 2016, Grenoble, France, 20–21 October 2016, Proceedings, LNBI. Springer, Berlin, pp 20–38. https://doi.org/10.1007/978-3-319-47151-8_2CrossRef Herajy M, Heiner M (2016) Accelerated simulation of hybrid biological models with quasi-disjoint deterministic and stochastic subnets. In: Cinquemani E, Donzé A (eds) Hybrid systems biology: 5th international workshop, HSB 2016, Grenoble, France, 20–21 October 2016, Proceedings, LNBI. Springer, Berlin, pp 20–38. https://​doi.​org/​10.​1007/​978-3-319-47151-8_​2CrossRef
17.
Zurück zum Zitat Herajy M, Heiner M (2018) Adaptive and bio-semantics of continuous Petri nets: choosing the appropriate interpretation. Fundamenta Informaticae 160(1–2):53–80MathSciNetCrossRef Herajy M, Heiner M (2018) Adaptive and bio-semantics of continuous Petri nets: choosing the appropriate interpretation. Fundamenta Informaticae 160(1–2):53–80MathSciNetCrossRef
19.
Zurück zum Zitat Herajy M, Liu F, Rohr C (2014) Coloured hybrid Petri nets for systems biology. In: Proceedings of the 5th international workshop on biological processes and Petri nets (BioPPN), satellite event of PETRI NETS 2014, CEUR workshop proceedings, vol 1159, pp 60–76. http://CEUR-WS.org Herajy M, Liu F, Rohr C (2014) Coloured hybrid Petri nets for systems biology. In: Proceedings of the 5th international workshop on biological processes and Petri nets (BioPPN), satellite event of PETRI NETS 2014, CEUR workshop proceedings, vol 1159, pp 60–76. http://​CEUR-WS.​org
22.
Zurück zum Zitat Herajy M, Schwarick M, Heiner M (2013) Hybrid Petri nets for modelling the eukaryotic cell cycle. In: Koutny M, Aalst WMP, Yakovlev A (eds) Transactions on Petri nets and other models of concurrency VIII. Springer, Berlin, pp 123–141CrossRef Herajy M, Schwarick M, Heiner M (2013) Hybrid Petri nets for modelling the eukaryotic cell cycle. In: Koutny M, Aalst WMP, Yakovlev A (eds) Transactions on Petri nets and other models of concurrency VIII. Springer, Berlin, pp 123–141CrossRef
28.
Zurück zum Zitat Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580CrossRef Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580CrossRef
29.
Zurück zum Zitat Nagaiah C, Rüdiger S, Warnecke G, Falcke M (2008) Adaptive numerical simulation of intracellular calcium dynamics using domain decomposition methods. Appl Numer Math 58(11):1658–1674MathSciNetCrossRef Nagaiah C, Rüdiger S, Warnecke G, Falcke M (2008) Adaptive numerical simulation of intracellular calcium dynamics using domain decomposition methods. Appl Numer Math 58(11):1658–1674MathSciNetCrossRef
30.
Zurück zum Zitat Nagaiah C, Rüdiger S, Warnecke G, Falcke M (2012) Adaptive space and time numerical simulation of reaction-diffusion models for intracellular calcium dynamics. Appl Math Comput 218(20):10194–10210MathSciNetCrossRef Nagaiah C, Rüdiger S, Warnecke G, Falcke M (2012) Adaptive space and time numerical simulation of reaction-diffusion models for intracellular calcium dynamics. Appl Math Comput 218(20):10194–10210MathSciNetCrossRef
32.
Zurück zum Zitat Rüdiger S, Shuai J, Huisinga W, Nagaiah C, Warnecke G, Parker I, Falcke M (2007) Hybrid stochastic and deterministic simulations of calcium blips. BioPhys J 93:1847–1857CrossRef Rüdiger S, Shuai J, Huisinga W, Nagaiah C, Warnecke G, Parker I, Falcke M (2007) Hybrid stochastic and deterministic simulations of calcium blips. BioPhys J 93:1847–1857CrossRef
Metadaten
Titel
A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets
verfasst von
Amr Ismail
Mostafa Herajy
Monika Heiner
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-030-17297-8_13