{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:01:46Z","timestamp":1759939306817},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386961"},{"type":"electronic","value":"9783642386978"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38697-8_13","type":"book-chapter","created":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T01:48:46Z","timestamp":1371606526000},"page":"230-249","source":"Crossref","is-referenced-by-count":19,"title":["Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology"],"prefix":"10.1007","author":[{"given":"David","family":"Gilbert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nigel","family":"Saunders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12","key":"13_CR1","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1016\/S0966-842X(00)01875-8","volume":"8","author":"B.J. Appelmelka","year":"2000","unstructured":"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\u00a08(12), 565\u2013570 (2000)","journal-title":"Trends in Microbiology"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Baldan, P., Cocco, N., Marin, A., Simeoni, M.: Petri Nets for Modelling Metabolic Pathways: a Survey. J. Natural Computing\u00a0(9), 955\u2013989 (2010)","DOI":"10.1007\/s11047-010-9180-6"},{"key":"13_CR3","unstructured":"Bertens, L.: Computerised modelling for developmental biology: an exploration with case studies. Ph.D. thesis, Leiden University (September 2012)"},{"key":"13_CR4","unstructured":"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)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Bl\u00e4tke, 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)","DOI":"10.1039\/c3mb25593j"},{"issue":"2","key":"13_CR6","doi-asserted-by":"publisher","first-page":"17","DOI":"10.2976\/1.2804749","volume":"1","author":"R. Blossey","year":"2008","unstructured":"Blossey, R., Cardelli, L., Phillips, A.: Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation. HFSP Journal\u00a01(2), 17\u201328 (2008)","journal-title":"HFSP Journal"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"2049","DOI":"10.1093\/bioinformatics\/btp355","volume":"25","author":"N. Bonzanni","year":"2009","unstructured":"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\u00a025, 2049\u20132056 (2009)","journal-title":"Bioinformatics"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1155\/2012\/790482"},{"key":"13_CR9","first-page":"3","volume":"42","author":"L. Chen","year":"2009","unstructured":"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\u00a042, 3 (2009)","journal-title":"Elegans vulval development by hybrid functional Petri net with extension. BMC Systems Biology"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1002\/andp.18551700105","volume":"170","author":"A. Fick","year":"1855","unstructured":"Fick, A.: \u00dcber Diffusion (in German). Annalen der Physik\u00a0170(1), 59\u201386 (1855)","journal-title":"Annalen der Physik"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"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\u00a099(PrePrints) (2012)","DOI":"10.1109\/TCBB.2012.101"},{"key":"13_CR12","unstructured":"Gecode: Gecode: An open constraint solving library (2011), http:\/\/www.gecode.org"},{"key":"13_CR13","volume-title":"Petri nets for multiscale Systems Biology","author":"D. Gilbert","year":"2011","unstructured":"Gilbert, D., Heiner, M.: Petri nets for multiscale Systems Biology. Brunel University, Uxbridge (2011), http:\/\/multiscalepn.brunel.ac.uk\/"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11767589_11","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"D. Gilbert","year":"2006","unstructured":"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.\u00a04024, pp. 181\u2013200. Springer, Heidelberg (2006)"},{"issue":"25","key":"13_CR15","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D. Gillespie","year":"1977","unstructured":"Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-21834-7_2","volume-title":"Applications and Theory of Petri Nets","author":"M. Heiner","year":"2011","unstructured":"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.\u00a06709, pp. 17\u201337. Springer, Heidelberg (2011)"},{"key":"13_CR17","unstructured":"Heiner, M., Gilbert, D.: Biomodel engineering for multiscale systems biology. Progress in Biophysics and Molecular Biology (2012)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-642-38697-8_21","volume-title":"PETRI NETS 2013","author":"M. Heiner","year":"2013","unstructured":"Heiner, M., Rohr, C., Schwarick, M.: MARCIE \u2013 Model Checking and Reachability Analysis Done Efficiently. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol.\u00a07927, pp. 389\u2013399. Springer, Heidelberg (2013)"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume-title":"Formal Methods for Computational Systems Biology","author":"M. Heiner","year":"2008","unstructured":"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.\u00a05016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-642-31131-4_22","volume-title":"Application and Theory of Petri Nets","author":"M. Heiner","year":"2012","unstructured":"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.\u00a07347, pp. 398\u2013407. Springer, Heidelberg (2012)"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-53863-1_30","volume-title":"Advances in Petri Nets 1990","author":"P. Huber","year":"1991","unstructured":"Huber, P., Jensen, K., Shapiro, R.: Hierarchies in coloured Petri nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 313\u2013341. Springer, Heidelberg (1991)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.: Coloured Petri nets: modelling and validation of concurrent systems. Springer (2009)","DOI":"10.1007\/b95112"},{"key":"13_CR23","unstructured":"Liu, F.: Colored Petri Nets for Systems Biology. Ph.D. thesis, BTU Cottbus, Dep. of CS (January 2012)"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Liu, F., Heiner, M.: Modeling membrane systems using colored stochastic Petri nets. Nat. Computing (2013)","DOI":"10.1007\/s11047-013-9367-8"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Liu, F., Heiner, M.: Multiscale modelling of coupled Ca 2\u2009+\u2009 channels using coloured stochastic Petri nets. IET Systems Biology (2013)","DOI":"10.1049\/iet-syb.2012.0017"},{"key":"13_CR26","unstructured":"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)"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/WSC.2012.6465203"},{"issue":"4","key":"13_CR28","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.jtbi.2005.03.018","volume":"236","author":"W. Marwan","year":"2005","unstructured":"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\u00a0236(4), 349\u2013365 (2005)","journal-title":"J. of Theoretical Biology"},{"issue":"7","key":"13_CR29","doi-asserted-by":"publisher","first-page":"974","DOI":"10.1093\/bioinformatics\/btq050","volume":"26","author":"C. Rohr","year":"2010","unstructured":"Rohr, C., Marwan, W., Heiner, M.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics\u00a026(7), 974\u2013975 (2010)","journal-title":"Bioinformatics"},{"issue":"2","key":"13_CR30","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1099\/mic.0.25807-0","volume":"149","author":"N. Saunders","year":"2003","unstructured":"Saunders, N., Moxon, E., Gravenor, M.: Mutation rates: estimating phase variation rates when fitness differences are present and their impact on population structure. Microbiology\u00a0149(2), 485\u2013495 (2003)","journal-title":"Microbiology"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Soliman, S., Heiner, M.: A unique transformation from ordinary differential equations to reaction networks. PlosONE\u00a05(12), e14284 2010)","DOI":"10.1371\/journal.pone.0014284"},{"key":"13_CR32","volume-title":"Foundations of Constraint Satisfaction","author":"E.P.K. Tsang","year":"1993","unstructured":"Tsang, E.P.K.: Foundations of Constraint Satisfaction. Academic Press, London (1993)"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38697-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T12:57:08Z","timestamp":1688302628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38697-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386961","9783642386978"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38697-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}