Modelling and simulating reaction-diffusion systems using coloured Petri nets

Computers in Biology and Medicine

Volumn 53, Issue , 2014, Pages 297-308

  Liu, Fei ^a   Blätke, Mary Ann ^b   Heiner, Monika ^c   Yang, Ming ^a  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

^b OTTO VON GUERICKE UNIVERSITY   (Germany)

^c BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Brusselator; Coloured stochastic continous hybrid Petri nets; Multiscaleness; Petri net framework; Reaction diffusion systems

Indexed keywords

DIFFUSION IN LIQUIDS; DYNAMIC MODELS; GENE EXPRESSION; HIGH LEVEL LANGUAGES; STOCHASTIC SYSTEMS;

BRUSSELATORS; COLOURED PETRI NETS; MODELLING AND SIMULATIONS; MULTISCALENESS; NET FRAMEWORK; REACTION DIFFUSION SYSTEMS; REACTION-DIFFUSION PROCESS; SIMULATION ALGORITHMS;

PETRI NETS;

CHEMICAL COMPOUND;

ALGORITHM; ARTICLE; CHEMICAL REACTION; COMPUTER; COMPUTER LANGUAGE; DIFFUSION; GENE EXPRESSION; MASS ACTION; MATHEMATICAL MODEL; MATHEMATICS; PROBABILITY; REACTION DIFFUSION SYSTEM; SIMULATION; STOCHASTIC MODEL; SYSTEMS BIOLOGY; BIOLOGICAL MODEL; COMPUTER SIMULATION; PROCEDURES; REPRODUCIBILITY; STATISTICS;

COMPUTER SIMULATION; DIFFUSION; MODELS, BIOLOGICAL; REPRODUCIBILITY OF RESULTS; STOCHASTIC PROCESSES; SYSTEMS BIOLOGY;

EID: 84907090291     PISSN: 00104825     EISSN: 18790534     Source Type: Journal    
DOI: 10.1016/j.compbiomed.2014.07.004     Document Type: Article

References (52)

1. Levine H., Aranson I., Tsimring L., Truong T.V. Positive genetic feedback governs cAMP spiral wave formation in dictyostelium. Proc. Natl. Acad. Sci. 1996, 93(13):6382-6386.
2. Takahashi K., Arjunan S., Tomita M. Space in systems biology of signaling pathways - towards intracellular molecular crowding in silico. FEBS Lett. 2005, 579(8):1783-1788.
3. Roth S. Mathematics and biology. a Kantian view on the history of pattern formation theory. Dev. Genes Evol. 2011, 221(5-6):255-279.
4. Burrage K., Burrage P.M., Leier A., Marquez-Lago T., Nicolau D. Stochastic simulation for spatial modelling of dynamic processes in a living cell. Design and Analysis of Biomolecular Circuits 2011, 43-62. Springer, New York. H. Koeppl, G. Setti, M. di Bernardo, D. Densmore (Eds.).
5. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 1977, 81(25):2340-2361.
6. J. Elf, A. Doncic, M. Ehrenberg, Mesoscopic reaction-diffusion in intracellular signaling, in: Fluctuations and Noise in Biological, Biophysical, and Biomedical Systems, Proc. SPIE 5110, May 2, 2003, p. 114. doi:. doi:10.1117/12.497009.
7. Jeschke M., Ewald R., Uhrmacher A.M. Exploring the performance of spatial stochastic simulation algorithms. J. Comput. Phys. 2011, 230(7):2562-2574.
8. D. Gilbert, M. Heiner, F. Liu, N. Saunders, Colouring space - a coloured framework for spatial modelling in systems biology, in: Proc. PETRI NETS 2013, Vol. 7923 of LNCS, Springer, 2013, pp. 230-249.
9. O. Paˆrvu, D. Gilbert, M. Heiner, F. Liu, N. Saunders, Modelling and analysis of phase variation in bacterial colony growth, in: A. Gupta, T. Henzinger (Eds.), Proceedings of Computational Methods in Systems Biology 2013, Vol. 8130 of LNCS/LNBI, Springer, 2013, pp. 78-91.
10. Liu F., Heiner M. Modeling membrane systems using colored stochastic Petri nets. Nat. Comput. 2013, 12(4):617-629.
11. 2+ channels using coloured stochastic Petri nets. IET Syst. Biol. 2013, 7(4):106-113.
12. Rohr C., Marwan W., Heiner M. Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 2010, 26(7):974-975.
13. M. Heiner, M. Herajy, F. Liu, C. Rohr, M. Schwarick, Snoopy - a unifying Petri net tool, in: Proc. PETRI NETS 2012, LNCS 7347, Springer, 2012, pp. 398-407.
14. Dewar M.A., Kadirkamanathan V., Opper M., Sanguinetti G. Parameter estimation and inference for stochastic reaction-diffusion systems. application to morphogensis in D. Melanogaster. BMC Syst. Biol. 2010, 4(21):1-9.
15. R. Erban, S.J. Chapman, P. Maini, A practical guide to stochastic simulations of reaction-diffusion processes, 〈〉(2007). http://arxiv.org/abs/0704.1908.
16. M. Heiner, D. Gilbert, R. Donaldson, Petri nets for systems and synthetic biology, in: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, LNCS 5016, Springer, 2008, pp. 215-264.
17. H.J. Genrich, K. Lautenbach, The analysis of distributed systems by means of Predicate/Transition-nets, in: Proceedings of the International Sympoisum on Semantics of Concurrent Computation, LNCS 70, Springer, 1979, pp. 123-146.
18. Jensen K. Coloured Petri nets and the invariant-method. Theor. Comput. Sci. 1981, 14(3):317-336.
19. F. Liu, Colored Petri nets for systems biology (Ph.D. thesis), Brandenburg University of Technology Cottbus, 2012.
20. Herajy M., Heiner M. Hybrid representation and simulation of stiff biochemical networks. Nonlinear Anal. Hybrid Syst. 2012, 6(4):942-959.
21. Lund E.W. Guldberg and Waage and the law of mass action. J. Chem. Educ. 1965, 42(10):548.
22. Floreano D., Mattiussi C. Bio-Inspired Artificial Intelligence Theories, Methods, and Technologies 2008, The MIT Press, Cambridge, Massachusetts.
23. Terrier V. Closure properties of cellular automata. Theor. Comput. Sci. 2006, 352(1-3):97-107.
24. Nagaiah C., Ru¨diger S., Warnecke G., Falcke M. Adaptive space and time numerical simulation of reaction-diffusion models for intracellular calcium dynamics. Appl. Math. Comput. 2012, 218(20):10194-10210.
25. Thomas J.W. Numerical Partial Differential Equations: Finite Difference Methods 1995, Springer, New York. first ed.
26. R. Baronas, F. Ivanauskas, J. Kulys, The Difference Schemes for the Reaction-Diffusion Equations, Springer, 2010, pp. 293-315 (Chapter 9).
27. J.D. Anderson, Discretization of Partial Differential Equations, Springer Berlin Heidelberg, 2009, pp. 87-104 (Chapter 5).
28. Pena B., Pe´rez-Garci´a C. Stability of Turing patterns in the Brusselator model. Phys. Rev. E 2001, 64(5):056213.
29. Soliman S., Heiner M. A unique transformation from ordinary differential equations to reaction networks. PLoS ONE 2010, 5(12):e14284.
30. Biancalani T., Fanelli D., Patti F.D. Stochastic Turing patterns in the Brusselator model. Phys. Rev. E 2010, 81(4):046215.
31. F. Liu, M.A. Bla¨tke, M. Heiner, M. Yang, Brusselator models, 2D plots and movies, 〈〉(2014). http://www-dssz.informatik.tu-cottbus.de/examples.
32. M. Herajy, M. Heiner, A steering server for collaborative simulation of quantitative Petri nets, in: G. Ciardo, E. Kindler (Eds.), Proc. PETRI NETS 2014, Vol. 8489 of LNCS, Springer, 2014, pp. 374-384.
33. Gnuplot, Gnuplot - an interactive plotting program, 〈〉(2014). http://www.gnuplot.info.
34. Moraru I.I., Schaff J.C., Slepchenko B.M., Blinov M.L., Morgan F., Lakshminarayana A., Gao F., Li Y., Loew L.M. Virtual cell modelling and simulation software environment. IET Syst. Biol. 2008, 2(5):352-362.
35. Ander M., Beltrao P., Di Ventura B., Ferkinghoff-Borg J., Foglierini M., Kaplan A., Lemerle C., Toma´s-Oliveira I., Serrano L. SmartCell, a framework to simulate cellular processes that combines stochastic approximation with diffusion and localisation. analysis of simple networks. Syst. Biol. 2004, 1(1):129-138.
36. L.M.F. Bertens, J. Kleijn, S.C. Hille, M. Koutny, M. Heiner, F.J. Verbeek, Modeling biological gradient formation: combining partial differential equations and Petri nets, Technical report CS-TR-1379, University of Newcastle upon Tyne, School of Computing Science, 〈〉(2013). http://www.cs.ncl.ac.uk/publications/trs/papers/1379.pdf.
37. L.M.F. Bertens, Computerised modelling for developmental biology: an exploration with case studies (Ph.D. thesis), Leiden University 2013.
38. Fange D., Mahmutovic A., Elf J. MesoRD 1.0. Stochastic reaction-diffusion simulations in the microscopic limit. Bioinformatics 2012, 28(23):3155-3157.
39. Bornstein B.J., Keating S.M., Jouraku A., Hucka M. LibSBML. an API library for SBML. Bioinformatics 2008, 24(6):880-881.
40. Hepburn I., Chen W., Wils S., Schutter E.D. STEPS. efficient simulation of stochastic reaction-diffusion models in realistic morphologies. BMC Syst. Biol. 2012, 6(36):1-19.
41. Boulianne L., Al Assaad S., Dumontier M., Gross W.J. GridCell. a stochastic particle-based biological system simulator. BMC Syst. Biol. 2008, 2(1):1-9.
42. Arjunan S.N.V., Tomita M. Modeling reaction-diffusion of molecules on surface and in volume spaces with the E-cell system. BMC Syst. Biol. 2009, 3(1):211-216.
43. Andrews S.S., Addy N.J., Brent R., Arkin A.P. Detailed simulations of cell biology with Smoldyn 2.1. PLOS Comput. Biol. 2010, 6(3):e1000705.
44. Sanford C., Yip M.L.K., White C., Parkinson J. Cell++ - simulating biochemical pathways. Bioinformatics 2006, 22(23):2918-2925.
45. Wishart D.S., Yang R., Arndt D., Tang P., Cruz J. Dynamic cellular automata. an alternative approach to cellular simulation. In Silico Biol. 2005, 5(2):139-161.
46. Luke S., Cioffi-Revilla C., Panait L., Sullivan K., Balan G. MASON. a multi-agent simulation environment. Simul.: Trans. Soc. Model. Simul. Int. 2005, 82(7):517-527.
47. Damaceanu R.-C. Agent-Based Computational Economics Using NetLogo 2013, Bentham Science Publishers.
48. North M., Collier N., Vos J. Experiences creating three implementations of the Repast agent modeling toolkit. ACM Trans. Model. Comput. Simul. 2006, 16(1):1-25.
49. Charlie, Charlie - a tool for the analysis of place/transition Petri nets, 〈〉(2013). http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Charlie.
50. M. Schwarick, C. Rohr, M. Heiner, MARCIE - model checking and reachability analysis done efficiently, in: Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, IEEE, 2011, pp. 91-100.
51. R. Donaldson, D. Gilbert, A model checking approach to the parameter estimation of biochemical pathways, in: Proceedings of the Sixth International Conference on Computational Methods in Systems Biology, LNCS 5307, Springer, 2008, pp. 269-287.
52. Gao Q., Gilbert D., Heiner M., Liu F., Maccagnola D., Tree D. Multiscale modelling and analysis of planar cell polarity in the Drosophila wing. IEEE/ACM Trans. Comput. Biol. Bioinformatics 2013, 10(2):337-351.