Colouring space - A coloured framework for spatial modelling in systems biology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7927 LNCS, Issue , 2013, Pages 230-249

  Gilbert, David ^a   Heiner, Monika ^b   Liu, Fei ^c   Saunders, Nigel ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^c HARBIN INSTITUTE OF TECHNOLOGY   (China)

Author keywords

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

Indexed keywords

BIO-MOLECULAR; BIOMODEL ENGINEERINGS; COLOURED PETRI NETS; CONTINUOUS; HYBRID PETRI NET; QUALITATIVE; SPATIAL MODELLING; STOCHASTIC; SYSTEMS BIOLOGY;

MACHINERY; MODELS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

PETRI NETS;

EID: 84879642133     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-38697-8_13     Document Type: Conference Paper

References (32)

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)
2. Baldan, P., Cocco, N., Marin, A., Simeoni, M.: Petri Nets for Modelling Metabolic Pathways: a Survey. J. Natural Computing (9), 955-989 (2010)
3. Bertens, L.: Computerised modelling for developmental biology: an exploration with case studies. Ph.D. thesis, Leiden University (September 2012)
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)
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)
6. Blossey, R., Cardelli, L., Phillips, A.: Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation. HFSP Journal 1(2), 17-28 (2008)
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)
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)
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)
10. Fick, A.: Über Diffusion (in German). Annalen der Physik 170(1), 59-86 (1855)
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)
12. Gecode: Gecode: An open constraint solving library (2011), http://www.gecode.org
13. Gilbert, D., Heiner, M.: Petri nets for multiscale Systems Biology. Brunel University, Uxbridge (2011), http://multiscalepn.brunel.ac.uk/
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) (Pubitemid 44071794)
15. Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340-2361 (1977)
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)
17. Heiner, M., Gilbert, D.: Biomodel engineering for multiscale systems biology. Progress in Biophysics and Molecular Biology (2012)
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)
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)
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)
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)
22. Jensen, K., Kristensen, L.: Coloured Petri nets: modelling and validation of concurrent systems. Springer (2009)
23. Liu, F.: Colored Petri Nets for Systems Biology. Ph.D. thesis, BTU Cottbus, Dep. of CS (January 2012)
24. Liu, F., Heiner, M.: Modeling membrane systems using colored stochastic Petri nets. Nat. Computing (2013)
25. 2+ channels using coloured stochastic Petri nets. IET Systems Biology (2013)
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)
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)
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)
29. Rohr, C., Marwan, W., Heiner, M.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7), 974-975 (2010)
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)
31. Soliman, S., Heiner, M.: A unique transformation from ordinary differential equations to reaction networks. PlosONE 5(12), e14284 2010)
32. Tsang, E.P.K.: Foundations of Constraint Satisfaction. Academic Press, London (1993)