Skip to main content
SpringerLink
Log in

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

  • Chapter
  • First Online:
Automated Reasoning for Systems Biology and Medicine

Part of the book series: Computational Biology ((COBO,volume 30))

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.

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

References

  1. 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

    Google Scholar 

  2. Alla H, David R (1998) Continuous and hybrid Petri nets. J Circuits Syst Comput 08(01):159–188

    Article  MathSciNet  Google Scholar 

  3. Berridge MJ (1997) Elementary and global aspects of calcium signalling. J Exp Biol 200(2):315–319

    Article  Google Scholar 

  4. Berridge M, Lipp P, Bootman M (2000) The versatility and universality of calcium signalling. Nat Rev Mol Cell Biol 1:11–22. https://doi.org/10.1038/35036035

    Article  Google Scholar 

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

    Google Scholar 

  6. David R, Alla H (2010) Discrete, continuous, and hybrid Petri nets. Springer, Berlin

    Book  Google Scholar 

  7. De Young GW, Keizer J (1992) A single-pool inositol 1,4,5-trisphosphate-receptor-based model for agonist-stimulated oscillations in \(Ca^{2+}\) concentration. Proc Natl Acad Sci 89(20):9895–9899. https://doi.org/10.1073/pnas.89.20.9895

    Article  Google Scholar 

  8. Dobramysl U, Rüdiger S, Erban R (2016) Particle-based multiscale modeling of calcium puff dynamics. Multiscale Model Simul 14(3):997–1016. https://doi.org/10.1137/15M1015030

    Article  MathSciNet  Google Scholar 

  9. Falcke M (2003) On the role of stochastic channel behavior in intracellular \(Ca^{2+}\) dynamics. Biophys J 84:42–56. https://doi.org/10.1016/S0006-3495(03)74831-0

    Article  Google Scholar 

  10. Falcke M (2004) Reading the patterns in living cells - the physics of \(Ca^{2+}\) signaling. Adv Phys 53:255–440

    Google Scholar 

  11. Gnuplot website. Accessed: 14/10/2018. http://www.gnuplot.info/

  12. Haseltine E, Rawlings J (2002) Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics. J Chem Phys 117(15):6959–6969. https://doi.org/10.1063/1.1505860

    Article  Google Scholar 

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

    Google Scholar 

  14. Heiner M, Sriram K (2010) Structural analysis to determine the core of hypoxia response network. PLOS ONE 5(1):1–17. https://doi.org/10.1371/journal.pone.0008600

    Article  Google Scholar 

  15. Herajy M, Heiner M (2012) Hybrid representation and simulation of stiff biochemical networks. J Nonlinear Anal: Hybrid Syst 6(4):942–959

    MathSciNet  MATH  Google Scholar 

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

    Chapter  Google Scholar 

  17. Herajy M, Heiner M (2018) Adaptive and bio-semantics of continuous Petri nets: choosing the appropriate interpretation. Fundamenta Informaticae 160(1–2):53–80

    Article  MathSciNet  Google Scholar 

  18. Herajy M, Liu F, Heiner M (2018) Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights. Nonlinear Anal: Hybrid Syst 27:191–212. https://doi.org/10.1016/j.nahs.2017.09.002

    MathSciNet  MATH  Google Scholar 

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

  20. Herajy M, Liu F, Rohr C, Heiner M (2017) (Coloured) Hybrid Petri nets in Snoopy - user manual. Technical report 01–17, Brandenburg University of Technology Cottbus, Department of Computer Science. https://opus4.kobv.de/opus4-btu/files/4157/csr_01-17.pdf

  21. Herajy M, Liu F, Rohr C, Heiner M (2017) Snoopy’s hybrid simulator: a tool to construct and simulate hybrid biological models. BMC systems biology 11(1):71. https://doi.org/10.1186/s12918-017-0449-6

  22. 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–141

    Chapter  Google Scholar 

  23. Hindmarsh A, Brown P, Grant K, Lee S, Serban R, Shumaker D, Woodward C (2005) Sundials: Suite of nonlinear and differential/algebraic equation solvers. ACM Trans Math Softw 31:363–396. https://doi.org/10.1145/1089014.1089020

    Article  MathSciNet  Google Scholar 

  24. Jensen K (1981) Coloured Petri nets and the invariant-method. Theor Comput Sci 14(3):317–336

    Article  MathSciNet  Google Scholar 

  25. Liu F, Blätke M, Heiner M, Yang M (2014) Modelling and simulating reaction diffusion systems using coloured Petri nets. Comput Biol Med 53:297–308. https://doi.org/10.1016/j.compbiomed.2014.07.004

    Article  Google Scholar 

  26. Liu F, Heiner M, Gilbert D (2017) Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems. Brief Bioinform bbx150. https://doi.org/10.1093/bib/bbx150

  27. Liu F, Heiner M, Yang M (2012) An efficient method for unfolding colored Petri nets. In: Proceedings of the Winter Simulation Conference, WSC ’12. Winter Simulation Conference, pp 295:1–295:12. http://dl.acm.org/citation.cfm?id=2429759.2430157

  28. Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580

    Article  Google Scholar 

  29. 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–1674

    Article  MathSciNet  Google Scholar 

  30. 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–10210

    Article  MathSciNet  Google Scholar 

  31. Perc M, Gosak M, Marhl M (2007) Periodic calcium waves in coupled cells induced by internal noise. Chem Phys Lett 437(1):143–147. https://doi.org/10.1016/j.cplett.2007.02.003. http://www.sciencedirect.com/science/article/pii/S0009261407001510

    Article  Google Scholar 

  32. 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–1857

    Article  Google Scholar 

  33. Schaff JC, Gao F, Li Y, Novak IL, Slepchenko BM (2016) Numerical approach to spatial deterministic-stochastic models arising in cell biology. PLOS Comput Biol 12(12):1–23. https://doi.org/10.1371/journal.pcbi.1005236

    Article  Google Scholar 

  34. Shuai J, Pearson JE, Foskett JK, Mak DOD, Parker I (2007) A kinetic model of single and clustered IP3 receptors in the absence of \(ca^{2+}\) feedback. Biophys J 93(4):1151–1162. https://doi.org/10.1529/biophysj.107.108795

    Article  Google Scholar 

  35. Smith CA, Yates CA (2018) Spatially-extended hybrid methods: a review. J R Soc Interface 15(139):20170931. https://doi.org/10.1098/rsif.2017.0931

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Science, Port Said University, Port Said, Egypt

    Amr Ismail & Mostafa Herajy

  2. Computer Science Institute, Brandenburg University of Technology Cottbus-Senftenberg, Cottbus, Germany

    Monika Heiner

Authors
  1. Amr Ismail
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mostafa Herajy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Monika Heiner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mostafa Herajy .

Editor information

Editors and Affiliations

  1. Department of Computer Science and Technology, University of Cambridge, Cambridge, UK

    Pietro Liò

  2. School of Computing, Newcastle University, Newcastle, UK

    Paolo Zuliani

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Ismail, A., Herajy, M., Heiner, M. (2019). A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets. In: Liò, P., Zuliani, P. (eds) Automated Reasoning for Systems Biology and Medicine. Computational Biology, vol 30. Springer, Cham. https://doi.org/10.1007/978-3-030-17297-8_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-17297-8_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-17296-1

  • Online ISBN: 978-3-030-17297-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation