Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology

  • David Gilbert
  • Monika Heiner
  • Fei Liu
  • Nigel Saunders
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7927)


In this paper we introduce a technique to encode spatial attributes of dynamic systems using coloured Petri nets and show how it can be applied to biological systems within the spirit of BioModel Engineering. Our approach can be equally applied to qualitative, stochastic, continuous or hybrid models of the same physical system, and can be used as the basis for multiscale modelling. We illustrate our approach with two case studies, one from the continuous and one from the stochastic paradigm. In this paper we only discuss the case of finite colours, and by unfolding our method can take advantage of all the analytical machinery and simulation techniques that have been developed for the uncoloured family of Petri net classes.


Coloured Petri nets qualitative stochastic continuous hybrid Petri nets spatial modelling biomolecular networks Systems Biology BioModel Engineering 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Appelmelka, B.J., Monteirob, M.A., Martinc, S.L., Morand, A.P., Vandenbroucke-Graulsa, C.M.: Why Helicobacter pylori has Lewis antigens. Trends in Microbiology 8(12), 565–570 (2000)CrossRefGoogle Scholar
  2. 2.
    Baldan, P., Cocco, N., Marin, A., Simeoni, M.: Petri Nets for Modelling Metabolic Pathways: a Survey. J. Natural Computing (9), 955–989 (2010)Google Scholar
  3. 3.
    Bertens, L.: Computerised modelling for developmental biology: an exploration with case studies. Ph.D. thesis, Leiden University (September 2012)Google Scholar
  4. 4.
    Bertens, L., Kleijn, J., Hille, S., Koutny, M., Heiner, M., Verbeek, F.: Modeling biological gradient formation: combining partial differential equations and Petri nets. Tech. Rep. CS-TR-1379, Univ. of Newcastle upon Tyne, School of CS (2013)Google Scholar
  5. 5.
    Blätke, M., Dittrich, A., Rohr, C., Heiner, M., Schaper, F., Marwan, W.: JAK/STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology. Molecular BioSystem (2013)Google Scholar
  6. 6.
    Blossey, R., Cardelli, L., Phillips, A.: Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation. HFSP Journal 1(2), 17–28 (2008)CrossRefGoogle Scholar
  7. 7.
    Bonzanni, N., Krepska, E., Feenstra, K., Fokkink, W., Kielmann, T., Bal, H., Heringa, J.: Executing multicellular differentiation: quantitative predictive modelling of c. elegans vulval development. Bioinformatics 25, 2049–2056 (2009)CrossRefGoogle Scholar
  8. 8.
    Carvalho, R., Kleijn, J., Meijer, A., Verbeek, F.: Modeling Innate Immune Response to Early Mycobacterium Infection. Computational and Mathematical Methods in Medicine 2012, Article ID 790482 (2012)Google Scholar
  9. 9.
    Chen, L., Masao, N., Kazuko, U., Satoru, M.: Simulation-based model checking approach to cell fate specification during C. Elegans vulval development by hybrid functional Petri net with extension. BMC Systems Biology 42, 3 (2009)Google Scholar
  10. 10.
    Fick, A.: Über Diffusion (in German). Annalen der Physik 170(1), 59–86 (1855)CrossRefGoogle Scholar
  11. 11.
    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 Transactions on Computational Biology and Bioinformatics 99(PrePrints) (2012)Google Scholar
  12. 12.
    Gecode: Gecode: An open constraint solving library (2011),
  13. 13.
    Gilbert, D., Heiner, M.: Petri nets for multiscale Systems Biology. Brunel University, Uxbridge (2011), Google Scholar
  14. 14.
    Gilbert, D., Heiner, M.: From Petri nets to differential equations - an integrative approach for biochemical network analysis. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 181–200. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  15. 15.
    Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340–2361 (1977)CrossRefGoogle Scholar
  16. 16.
    Heiner, M., Gilbert, D.: How Might Petri Nets Enhance Your Systems Biology Toolkit. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 17–37. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  17. 17.
    Heiner, M., Gilbert, D.: Biomodel engineering for multiscale systems biology. Progress in Biophysics and Molecular Biology (2012)Google Scholar
  18. 18.
    Heiner, M., Rohr, C., Schwarick, M.: MARCIE – Model Checking and Reachability Analysis Done Efficiently. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 389–399. Springer, Heidelberg (2013)Google Scholar
  19. 19.
    Heiner, M., Gilbert, D., Donaldson, R.: Petri nets for systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215–264. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  20. 20.
    Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy - A Unifying Petri Net Tool. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 398–407. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  21. 21.
    Huber, P., Jensen, K., Shapiro, R.: Hierarchies in coloured Petri nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 313–341. Springer, Heidelberg (1991)CrossRefGoogle Scholar
  22. 22.
    Jensen, K., Kristensen, L.: Coloured Petri nets: modelling and validation of concurrent systems. Springer (2009)Google Scholar
  23. 23.
    Liu, F.: Colored Petri Nets for Systems Biology. Ph.D. thesis, BTU Cottbus, Dep. of CS (January 2012)Google Scholar
  24. 24.
    Liu, F., Heiner, M.: Modeling membrane systems using colored stochastic Petri nets. Nat. Computing (2013)Google Scholar
  25. 25.
    Liu, F., Heiner, M.: Multiscale modelling of coupled Ca 2 +  channels using coloured stochastic Petri nets. IET Systems Biology (2013)Google Scholar
  26. 26.
    Liu, F., Heiner, M., Rohr, C.: Manual for Colored Petri Nets in Snoopy. Tech. Rep. 02-12, Brandenburg University of Technology Cottbus, Dep. of CS (March 2012)Google Scholar
  27. 27.
    Liu, F., Heiner, M., Yang, M.: An efficient method for unfolding colored Petri nets. In: Proc. 2012 Winter Simulation Conference (WSC 2012). IEEE, Berlin (2012)Google Scholar
  28. 28.
    Marwan, W., Sujathab, A., Starostzik, C.: Reconstructing the regulatory network controlling commitment and sporulation in Physarum polycephalum based on hierarchical Petri net modeling and simulation. J. of Theoretical Biology 236(4), 349–365 (2005)CrossRefGoogle Scholar
  29. 29.
    Rohr, C., Marwan, W., Heiner, M.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7), 974–975 (2010)CrossRefGoogle Scholar
  30. 30.
    Saunders, N., Moxon, E., Gravenor, M.: Mutation rates: estimating phase variation rates when fitness differences are present and their impact on population structure. Microbiology 149(2), 485–495 (2003)CrossRefGoogle Scholar
  31. 31.
    Soliman, S., Heiner, M.: A unique transformation from ordinary differential equations to reaction networks. PlosONE 5(12), e14284 2010)Google Scholar
  32. 32.
    Tsang, E.P.K.: Foundations of Constraint Satisfaction. Academic Press, London (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • David Gilbert
    • 1
  • Monika Heiner
    • 2
  • Fei Liu
    • 3
  • Nigel Saunders
    • 1
  1. 1.School of Information Systems, Computing and MathematicsBrunel UniversityUxbridgeUK
  2. 2.Computer Science InstituteBrandenburg University of TechnologyCottbusGermany
  3. 3.Harbin Institute of TechnologyHarbinChina

Personalised recommendations