{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:06:03Z","timestamp":1761581163683,"version":"3.40.4"},"publisher-location":"Cham","reference-count":50,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319044828"},{"type":"electronic","value":"9783319044835"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04483-5_6","type":"book-chapter","created":{"date-parts":[[2014,1,28]],"date-time":"2014-01-28T01:32:59Z","timestamp":1390872779000},"page":"50-67","source":"Crossref","is-referenced-by-count":1,"title":["Cells as Machines: Towards Deciphering Biochemical Programs in the Cell"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Angeli, D., Leenheer, P.D., Sontag, E.D.: A petri net approach to persistence analysis in chemical reaction networks. In: Biology and Control Theory: Current Challenges. LNCIS, vol.\u00a0357, pp. 181\u2013216. Springer (2007)","DOI":"10.1007\/978-3-540-71988-5_9"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"M. Ashburner","year":"2000","unstructured":"Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Michael Cherry, J., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., Harris, M.A., Hill, D.P., Issel-Tarver, L., Kasarskis, A., Lewis, S., Matese, J.C., Richardson, J.E., Ringwald, M., Rubin, G.M., Sherlock, G.: Gene ontology: tool for the unification of biology. Nature Genetics\u00a025, 25\u201329 (2000)","journal-title":"Nature Genetics"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Ballesta, A., Dulong, S., Abbara, C., Cohen, B., Okyar, A., Clairambault, J., Levi, F.: A combined experimental and mathematical approach for molecular-based optimization of irinotecan circadian delivery. PLOS Computational Biology\u00a07(9) (2011)","DOI":"10.1371\/journal.pcbi.1002143"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Ban\u00e2tre, J.-P., Le M\u00e9tayer, D.: Chemical reaction as a computational model. Functional Programmming, 103\u2013117 (1989)","DOI":"10.1007\/978-1-4471-3166-3_7"},{"key":"6_CR5","first-page":"738","volume":"4","author":"J.-P. Ban\u00e2tre","year":"2009","unstructured":"Ban\u00e2tre, J.-P., Priol, T.: Chemical programming of future service-oriented architectures. Jounral of Software\u00a04, 738\u2013746 (2009)","journal-title":"Jounral of Software"},{"issue":"3","key":"6_CR6","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G. Bernot","year":"2004","unstructured":"Bernot, G., Comet, J.-P., Richard, A., Guespin, J.: A fruitful application of formal methods to biological regulatory networks: Extending thomas\u2019 asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229(3), 339\u2013347 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science\u00a096 (1992)","DOI":"10.1016\/0304-3975(92)90185-I"},{"key":"6_CR8","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane calculi - interactions of biological membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biochemical interaction networks. Theoretical Computer Science\u00a0325(1), 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Briefings in Bioinformatics (2007)","DOI":"10.1093\/bib\/bbm029"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Chelliah, V., Laibe, C., Nov\u00e8re, N.: Biomodels database: A repository of mathematical models of biological processes. In: Schneider, M.V. (ed.) Silico Systems Biology. Methods in Molecular Biology, vol.\u00a01021, pp. 189\u2013199. Humana Press (2013)","DOI":"10.1007\/978-1-62703-450-0_10"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An openSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 359. Springer, Heidelberg (2002)"},{"key":"6_CR13","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)"},{"key":"6_CR14","first-page":"238","volume-title":"POPL 1977: Proceedings of the 6th ACM Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977: Proceedings of the 6th ACM Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM Press, New York (1977)"},{"issue":"1","key":"6_CR15","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V. Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science\u00a0325(1), 69\u2013110 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"21","key":"6_CR16","doi-asserted-by":"publisher","first-page":"2108","DOI":"10.1016\/j.tcs.2010.10.036","volume":"412","author":"E. Maria De","year":"2011","unstructured":"De Maria, E., Fages, F., Rizk, A., Soliman, S.: Design, optimization, and predictions of a coupled model of the cell cycle, circadian clock, dna repair system, irinotecan metabolism and exposure control under temporal logic constraints. Theoretical Computer Science\u00a0412(21), 2108\u20132127 (2011)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.tcs.2008.07.004","volume":"408","author":"F. Fages","year":"2008","unstructured":"Fages, F., Rizk, A.: On temporal logic constraint solving for the analysis of numerical data time series. Theoretical Computer Science\u00a0408(1), 55\u201365 (2008)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F. Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theoretical Computer Science\u00a0403(1), 52\u201370 (2008)","journal-title":"Theoretical Computer Science"},{"issue":"8","key":"6_CR19","doi-asserted-by":"publisher","first-page":"1254","DOI":"10.1109\/JPROC.2008.925458","volume":"96","author":"A. Funahashi","year":"2008","unstructured":"Funahashi, A., Matsuoka, Y., Jouraku, A., Morohashi, M., Kikuchi, N., Kitano, H.: Celldesigner 3.5: A versatile modeling tool for biochemical networks. Proceedings of the IEEE\u00a096(8), 1254\u20131265 (2008)","journal-title":"Proceedings of the IEEE"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: General method for numerically simulating stochastic time evolution of coupled chemical-reactions. Journal of Computational Physics\u00a022, 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Grafahrend-Belau, E., Schreiber, F., Heiner, M., Sackmann, A., Junker, B.H., Grunwald, S., Speer, A., Winder, K., Koch, I.: Modularization of biochemical networks based on a classification of petri net by T-invariants. BMC Bioinformatics\u00a09(90) (February 2008)","DOI":"10.1186\/1471-2105-9-90"},{"issue":"2","key":"6_CR22","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1162\/106365601750190398","volume":"9","author":"N. Hansen","year":"2001","unstructured":"Hansen, N., Ostermeier, A.: Completely derandomized self-adaptation in evolution strategies. Evolutionary Computation\u00a09(2), 159\u2013195 (2001)","journal-title":"Evolutionary Computation"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Heitzler, D., Durand, G., Gallay, N., Rizk, A., Ahn, S., Kim, J., Violin, J.D., Dupuy, L., Gauthier, C., Piketty, V., Cr\u00e9pieux, P., Poupon, A., Cl\u00e9ment, F., Fages, F., Lefkowitz, R.J., Reiter, E.: Competing g protein-coupled receptor kinases balance g protein and \u03b2-arrestin signaling. Molecular Systems Biology\u00a08(590) (June 2012)","DOI":"10.1038\/msb.2012.22"},{"issue":"24","key":"6_CR24","doi-asserted-by":"publisher","first-page":"3067","DOI":"10.1093\/bioinformatics\/btl485","volume":"22","author":"S. Hoops","year":"2006","unstructured":"Hoops, S., Sahle, S., Gauges, R., Lee, C., Pahle, J., Simus, N., Singhal, M., Xu, L., Mendes, P., Kummer, U.: Copasi \u2013 a complex pathway simulator. Bioinformatics\u00a022(24), 3067\u20133074 (2006)","journal-title":"Bioinformatics"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Huang, D.-A., Jiang, J.-H., Huang, R.-Y., Cheng, C.-Y.: Compiling program control flows into biochemical reactions. In: ICCAD 2012: IEEE\/ACM International Conference on Computer-Aided Design, San Jose, USA (November 2012)","DOI":"10.1145\/2429384.2429462"},{"key":"6_CR26","unstructured":"Huang, R.-Y., Huang, D.-A., Chiang, H.-J.K., Jiang, J.-H., Fages, F.: Species minimization in computation with biochemical reactions. In: IWBDA 2013: Proceedings of the Fifth International Workshop on Bio-Design Automation. Imperial College, London (2013)"},{"issue":"4","key":"6_CR27","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M.: et\u00a0al. The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics\u00a019(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Hucka, M., Hoops, S., Keating, S.M., Nicolas, L.N., Sahle, S., Wilkinson, D.: Systems biology markup language (SBML) level 2: Structures and facilities for model definitions. In: Nature Precedings (December 2008)","DOI":"10.1038\/npre.2007.19"},{"issue":"2","key":"6_CR29","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/j.cell.2012.05.044","volume":"150","author":"J.R. Karr","year":"2012","unstructured":"Karr, J.R., Sanghvi, J.C., Macklin, D.N., Gutschow, M.V., Jacobs, J.M., Bolival Jr., B., Assad-Garcia, N., Glass, J.I., Covert, M.W.: A whole-cell computational model predicts phenotype from genotype. Cell\u00a0150(2), 389\u2013401 (2012)","journal-title":"Cell"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1038\/msb4100179","volume":"3","author":"H. Kitano","year":"2007","unstructured":"Kitano, H.: Towards a theory of biological robustness. Molecular Systems Biology\u00a03, 137 (2007)","journal-title":"Molecular Systems Biology"},{"issue":"5560","key":"6_CR31","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Systems biology: A brief overview. Science\u00a0295(5560), 1662\u20131664 (2002)","journal-title":"Science"},{"issue":"8","key":"6_CR32","doi-asserted-by":"publisher","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","volume":"10","author":"K.W. Kohn","year":"1999","unstructured":"Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell\u00a010(8), 2703\u20132734 (1999)","journal-title":"Molecular Biology of the Cell"},{"issue":"8","key":"6_CR33","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1038\/nbt.1558","volume":"27","author":"N. Novere le","year":"2009","unstructured":"le Novere, N., Hucka, M., Mi, H., Moodie, S., Schreiber, F., Sorokin, A., Demir, E., Wegner, K., Aladjem, M.I., Wimalaratne, S.M., Bergman, F.T., Gauges, R., Ghazal, P., Kawaji, H., Li, L., Matsuoka, Y., Villeger, A., Boyd, S.E., Calzone, L., Courtot, M., Dogrusoz, U., Freeman, T.C., Funahashi, A., Ghosh, S., Jouraku, A., Kim, S., Kolpakov, F., Luna, A., Sahle, S., Schmidt, E., Watterson, S., Wu, G., Goryanin, I., Kell, D.B., Sander, C., Sauro, H., Snoep, J.L., Kohn, K., Kitano, H.: The systems biology graphical notation. Nature Biotechnology\u00a027(8), 735\u2013741 (2009)","journal-title":"Nature Biotechnology"},{"key":"6_CR34","unstructured":"Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid petri net representation of gene regulatory network. In: Proceedings of the 5th Pacific Symposium on Biocomputing, pp. 338\u2013349 (2000)"},{"key":"6_CR35","first-page":"32","volume":"3","author":"H. Matsuno","year":"2003","unstructured":"Matsuno, H., Tanaka, Y., Aoshima, H., Doi, A., Matsui, M., Miyano, S.: Biopathways representation and simulation on hybrid functional petri net. Silico Biology\u00a03, 32 (2003)","journal-title":"Silico Biology"},{"key":"6_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1007\/978-3-642-33558-7_57","volume-title":"Principles and Practice of Constraint Programming","author":"F. Nabli","year":"2012","unstructured":"Nabli, F., Fages, F., Martinez, T., Soliman, S.: A boolean model for enumerating minimal siphons and traps in petri nets. In: Milano, M. (ed.) CP 2012. LNCS, vol.\u00a07514, pp. 798\u2013814. Springer, Heidelberg (2012)"},{"key":"6_CR37","unstructured":"Nagasaki, M., Onami, S., Miyano, S., Kitano, H.: Bio-calculus: Its concept, and an application for molecular interaction. In: Currents in Computational Molecular Biology. Frontiers Science Series, vol.\u00a030, Universal Academy Press, Inc. (2000) This book is a collection of poster papers presented at the RECOMB 2000 Poster Session."},{"key":"6_CR38","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name passing calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"6_CR39","unstructured":"Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri net representations in metabolic pathways. In: Hunter, L., Searls, D.B., Shavlik, J.W. (eds.) Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology (ISMB), pp. 328\u2013336. AAAI Press (1993)"},{"issue":"1","key":"6_CR40","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. Theoretical Computer Science\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"6_CR41","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.Y.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proceedings of the sixth Pacific Symposium of Biocomputing, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"issue":"25","key":"6_CR42","first-page":"il69","volume":"12","author":"A. Rizk","year":"2009","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics\u00a012(25), il69\u2013il78 (2009)","journal-title":"Bioinformatics"},{"issue":"26","key":"6_CR43","doi-asserted-by":"publisher","first-page":"2827","DOI":"10.1016\/j.tcs.2010.05.008","volume":"412","author":"A. Rizk","year":"2011","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theoretical Computer Science\u00a0412(26), 2827\u20132839 (2011)","journal-title":"Theoretical Computer Science"},{"issue":"7","key":"6_CR44","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"},{"key":"6_CR45","volume-title":"Modeling dynamic phenomena in molecular and cellular biology","author":"L.A. Segel","year":"1984","unstructured":"Segel, L.A.: Modeling dynamic phenomena in molecular and cellular biology. Cambridge University Press, Cambridge (1984)"},{"key":"6_CR46","doi-asserted-by":"crossref","unstructured":"Senum, P., Riedel, M.: Rate-independent constructs for chemical computation. PLOS One\u00a06(6) (2011)","DOI":"10.1371\/journal.pone.0021414"},{"key":"6_CR47","doi-asserted-by":"crossref","unstructured":"Soliman, S.: Invariants and other structural properties of biochemical models as a constraint satisfaction problem. Algorithms for Molecular Biology 7(15) (May 2012)","DOI":"10.1186\/1748-7188-7-15"},{"issue":"16","key":"6_CR48","doi-asserted-by":"publisher","first-page":"7328","DOI":"10.1073\/pnas.88.16.7328","volume":"88","author":"J.J. Tyson","year":"1991","unstructured":"Tyson, J.J.: Modeling the cell division cycle: cdc2 and cyclin interactions. Proceedings of the National Academy of Sciences\u00a088(16), 7328\u20137332 (1991)","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"35","key":"6_CR49","doi-asserted-by":"publisher","first-page":"14271","DOI":"10.1073\/pnas.1206810109","volume":"109","author":"J. Uhlendorf","year":"2012","unstructured":"Uhlendorf, J., Miermont, A., Delaveau, T., Charvin, G., Fages, F., Bottani, S., Batt, G., Hersen, P.: Long-term model predictive control of gene expression at the population and single-cell levels. Proceedings of the National Academy of Sciences\u00a0109(35), 14271\u201314276 (2012)","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"6_CR50","unstructured":"Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on petri net theory. Silico Biology, 3(29) (2003)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04483-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T17:50:27Z","timestamp":1746121827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-04483-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319044828","9783319044835"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04483-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}