Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Baldan, P., Cocco, N., Marin, A., Simeoni, M.: Petri Nets for Modelling Metabolic Pathways: a Survey. J. Natural Computing (9), 955–989 (2010)
Bertens, L.: Computerised modelling for developmental biology: an exploration with case studies. Ph.D. thesis, Leiden University (September 2012)
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)
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)
Blossey, R., Cardelli, L., Phillips, A.: Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation. HFSP Journal 1(2), 17–28 (2008)
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)
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)
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)
Fick, A.: Über Diffusion (in German). Annalen der Physik 170(1), 59–86 (1855)
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)
Gecode: Gecode: An open constraint solving library (2011), http://www.gecode.org
Gilbert, D., Heiner, M.: Petri nets for multiscale Systems Biology. Brunel University, Uxbridge (2011), http://multiscalepn.brunel.ac.uk/
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)
Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340–2361 (1977)
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)
Heiner, M., Gilbert, D.: Biomodel engineering for multiscale systems biology. Progress in Biophysics and Molecular Biology (2012)
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)
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)
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)
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)
Jensen, K., Kristensen, L.: Coloured Petri nets: modelling and validation of concurrent systems. Springer (2009)
Liu, F.: Colored Petri Nets for Systems Biology. Ph.D. thesis, BTU Cottbus, Dep. of CS (January 2012)
Liu, F., Heiner, M.: Modeling membrane systems using colored stochastic Petri nets. Nat. Computing (2013)
Liu, F., Heiner, M.: Multiscale modelling of coupled Ca 2 + channels using coloured stochastic Petri nets. IET Systems Biology (2013)
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)
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)
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)
Rohr, C., Marwan, W., Heiner, M.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7), 974–975 (2010)
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)
Soliman, S., Heiner, M.: A unique transformation from ordinary differential equations to reaction networks. PlosONE 5(12), e14284 2010)
Tsang, E.P.K.: Foundations of Constraint Satisfaction. Academic Press, London (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gilbert, D., Heiner, M., Liu, F., Saunders, N. (2013). Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology. In: Colom, JM., Desel, J. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013. Lecture Notes in Computer Science, vol 7927. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38697-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-38697-8_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38696-1
Online ISBN: 978-3-642-38697-8
eBook Packages: Computer ScienceComputer Science (R0)