{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T00:13:42Z","timestamp":1773274422387,"version":"3.50.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319103976","type":"print"},{"value":"9783319103983","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10398-3_9","type":"book-chapter","created":{"date-parts":[[2014,8,14]],"date-time":"2014-08-14T13:13:27Z","timestamp":1408022007000},"page":"117-135","source":"Crossref","is-referenced-by-count":10,"title":["50 Shades of Rule Composition"],"prefix":"10.1007","author":[{"given":"Jakob Lykke","family":"Andersen","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Flamm","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Merkle","sequence":"additional","affiliation":[]},{"given":"Peter F.","family":"Stadler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1073\/pnas.91.2.757","volume":"91","author":"W. Fontana","year":"1994","unstructured":"Fontana, W., Buss, L.W.: What would be conserved if \u201cthe tape were played twice\u201d? Proc. Natl. Acad. Sci. USA\u00a091, 757\u2013761 (1994)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cells as computation. Nature\u00a0419, 343 (2002)","journal-title":"Nature"},{"key":"9_CR3","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.: Formal molecular biology. Theor. Comp. Sci.\u00a0325, 69\u2013110 (2004)","journal-title":"Theor. Comp. Sci."},{"key":"9_CR4","series-title":"LNBI","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/11905455_5","volume-title":"Transactions on Computational Systems Biology VII","author":"M.L. Blinov","year":"2006","unstructured":"Blinov, M.L., Yang, J., Faeder, J.R., Hlavacek, W.S.: Graph theory for rule-based modeling of biochemical networks. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 89\u2013106. Springer, Heidelberg (2006)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with membranes. J. Comp. Syst. Sci.\u00a061, 108\u2013143 (2000)","journal-title":"J. Comp. Syst. Sci."},{"key":"9_CR6","series-title":"LNBI","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. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.jtbi.2013.07.012","volume":"336","author":"C. Arnold","year":"2013","unstructured":"Arnold, C., Stadler, P.F., Prohaska, S.J.: Chromatin computation: Epigenetic inheritance as a pattern reconstruction problem. J. Theor. Biol.\u00a0336, 61\u201374 (2013)","journal-title":"J. Theor. Biol."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Hlavacek, W., Faeder, J.R., Blinov, M.L., Posner, R.G., Hucka, M., Fontana, W.: Rules for modeling signal-transduction systems. Sci. STKE\u00a06, 334\u2013336 (2006)","DOI":"10.1126\/stke.3442006re6"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-1-61779-833-7_9","volume":"880","author":"J.A. Sekar","year":"2012","unstructured":"Sekar, J.A., Faeder, J.R.: Rule-based modeling of signal transduction: a primer. Methods Mol. Biol.\u00a0880, 139\u2013218 (2012)","journal-title":"Methods Mol. Biol."},{"key":"9_CR10","first-page":"81","volume-title":"Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1990","author":"G. Berry","year":"1990","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1990, pp. 81\u201394. Assoc. Computing Machinery, New York (1990)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1021\/ci0200570","volume":"43","author":"G. Benk\u00f6","year":"2003","unstructured":"Benk\u00f6, G., Flamm, C., Stadler, P.F.: A graph-based toy model of chemistry. J. Chem. Inf. Comput. Sci.\u00a043, 1085\u20131093 (2003)","journal-title":"J. Chem. Inf. Comput. Sci."},{"key":"9_CR12","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C., Winskel, G.: Graphs, rewriting and pathway reconstruction for rule-based models. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a018, pp. 276\u2013288 (2012)"},{"key":"9_CR13","first-page":"8","volume-title":"The Logic of Artificial Life: Abstracting and Synthesizing the Principles of Living Systems","author":"M. Beck","year":"2004","unstructured":"Beck, M., Benk\u00f6, G., Eble, G., Flamm, C., M\u00fcller, S., Stadler, P.F.: Graph grammars as models for the evolution of developmental pathways. In: Schaub, H., Detje, F., Br\u00fcggemann, U. (eds.) The Logic of Artificial Life: Abstracting and Synthesizing the Principles of Living Systems, pp. 8\u201315. IOS Press, Akademische Verlagsgesellschaft, Berlin (2004)"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1038\/msb4100109","volume":"2","author":"U. Sauer","year":"2006","unstructured":"Sauer, U.: Metabolic networks in motion: 13C-based flux analysis. Mol. Syst. Biol.\u00a02, 62 (2006)","journal-title":"Mol. Syst. Biol."},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.copbio.2010.08.009","volume":"22","author":"N. Zamboni","year":"2011","unstructured":"Zamboni, N.: 13C metabolic flux analysis in complex systems. Curr. Opin. Biotech.\u00a022, 103\u2013108 (2011)","journal-title":"Curr. Opin. Biotech."},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1111\/j.1574-6976.2008.00146.x","volume":"33","author":"M. Durot","year":"2009","unstructured":"Durot, M., Bourguignon, P.Y., Schachter, V.: Genome-scale models of bacterial metabolisn: reconstruction and applications. FEMS Microbiol. Rev.\u00a033, 164\u2013190 (2009)","journal-title":"FEMS Microbiol. Rev."},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1038\/nrmicro1949","volume":"7","author":"A.M. Feist","year":"2009","unstructured":"Feist, A.M., Herrg\u00e5rd, M.J., Thiele, I., Reed, J.L., Palsson, B.\u00d8.: Reconstruction of biochemical networks in microorganisms. Nature Rev. Microbiol.\u00a07, 129\u2013143 (2009)","journal-title":"Nature Rev. Microbiol."},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"4315","DOI":"10.1093\/bioinformatics\/bti693","volume":"21","author":"G.L. Holliday","year":"2005","unstructured":"Holliday, G.L., Bartlett, G.J., Almonacid, D.E., O\u2019Boyle, N.M., Murray-Rust, P., Thornton, J.M., Mitchell, J.B.O.: MACiE: a database of enzyme reaction mechanisms. Bioinformatics\u00a021, 4315\u20134316 (2005)","journal-title":"Bioinformatics"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Holliday, G.L., Andreini, C., Fischer, J.D., Rahman, S.A., Almonacid, D.E., Williams, S.T., Pearson, W.R.: MACiE: exploring the diversity of biochemical reactions. Nucleic Acids Research\u00a040, D783\u2013D789 (2012)","DOI":"10.1093\/nar\/gkr799"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Andersen, J.L., Flamm, C., Merkle, D., Stadler, P.F.: Inferring chemical reaction patterns using graph grammar rule composition. J. Syst. Chem.\u00a04(4) (2013)","DOI":"10.1186\/1759-2208-4-4"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/800157.805047","volume-title":"Proceedings of the Third Annual ACM Symposium on Theory of Computing, STOC 1971","author":"S.A. Cook","year":"1971","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of the Third Annual ACM Symposium on Theory of Computing, STOC 1971, pp. 151\u2013158. ACM, New York (1971)"},{"issue":"1","key":"9_CR22","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1021\/ci00057a005","volume":"28","author":"D. Weininger","year":"1988","unstructured":"Weininger, D.: SMILES, a chemical language and information system. 1. Introduction to methodology and encoding rules. J. Chem. Inf. Comput. Sci.\u00a028(1), 31\u201336 (1988)","journal-title":"J. Chem. Inf. Comput. Sci."},{"issue":"2","key":"9_CR23","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1021\/ci00062a008","volume":"29","author":"D. Weininger","year":"1989","unstructured":"Weininger, D., Weininger, A., Weininger, J.L.: SMILES 2. Algorithm for Generation of Unique SMILES Notation. J. Chem. Inf. Comput. Sci.\u00a029(2), 97\u2013101 (1989)","journal-title":"J. Chem. Inf. Comput. Sci."},{"issue":"7","key":"9_CR24","first-page":"3160","volume":"97","author":"B.P. Atanasov","year":"2000","unstructured":"Atanasov, B.P., Mustafi, D., Makinen, M.W.: Protonation of the beta-lactam nitrogen is the trigger event in the catalytic action of class A beta-lactamases. Proc. Natl. Acad. Sci.\u00a097(7), 3160\u20133165 (2000)","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"6","key":"9_CR25","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1038\/nchembio.971","volume":"8","author":"A. Bar-Even","year":"2012","unstructured":"Bar-Even, A., Flamholz, A., Noor, E., Milo, R.: Rethinking glycolysis: on the biochemical logic of metabolic pathways. Nat. Chem. Biol.\u00a08(6), 509\u2013517 (2012)","journal-title":"Nat. Chem. Biol."},{"key":"9_CR26","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1016\/S0021-9258(19)52415-2","volume":"196","author":"N. Entner","year":"1952","unstructured":"Entner, N., Doudoroff, M.: Glucose and gluconic acid oxidation of pseudomonas saccharophila. J. Biol. Chem.\u00a0196, 853\u2013862 (1952)","journal-title":"J. Biol. Chem."},{"issue":"5","key":"9_CR27","doi-asserted-by":"publisher","first-page":"2294","DOI":"10.1128\/AEM.71.5.2294-2302.2005","volume":"71","author":"I. Borodina","year":"2005","unstructured":"Borodina, I., Sch\u00f6ller, C., Eliasson, A., Nielsen, J.: Metabolic network analysis of streptomyces tenebrarius, a streptomyces species with an active entner-doudoroff pathway. Appl. Environ. Microbiol.\u00a071(5), 2294\u20132302 (2005)","journal-title":"Appl. Environ. Microbiol."},{"issue":"6\/7","key":"9_CR28","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1016\/0923-2508(96)83998-2","volume":"147","author":"A.H. Romano","year":"1996","unstructured":"Romano, A.H., Conway, T.: Evolution of carbohydrate metabolic pathways. Res. Microbiol.\u00a0147(6\/7), 448\u2013455 (1996)","journal-title":"Res. Microbiol."},{"issue":"24","key":"9_CR29","doi-asserted-by":"publisher","first-page":"9629","DOI":"10.1073\/pnas.1307485110","volume":"110","author":"A.I. Stettner","year":"2013","unstructured":"Stettner, A.I., Segr\u00e9, D.: The cost of efficiency in energy metabolism. PNAS\u00a0110(24), 9629\u20139630 (2013)","journal-title":"PNAS"},{"issue":"24","key":"9_CR30","doi-asserted-by":"publisher","first-page":"10039","DOI":"10.1073\/pnas.1215283110","volume":"110","author":"A. Flamholz","year":"2013","unstructured":"Flamholz, A., Noor, E., Bar-Even, A., Liebmeister, W., Milo, R.: Glycolytic stratewgy as a tradeoff between energy yield and protein cost. PNAS\u00a0110(24), 10039\u201310044 (2013)","journal-title":"PNAS"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Benner, S., Kim, H., Ricardo, A.: Planetary organic chemistry and the origins of biomolecules. Cold Spring Harb. Perspect. Biol.\u00a02(7), a003467 (2010)","DOI":"10.1101\/cshperspect.a003467"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Breslow, R.: On the mechanism of the formose reaction. Tetrahedron Letters 1(21) (1959)","DOI":"10.1016\/S0040-4039(01)99487-0"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Macro-Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10398-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,14]],"date-time":"2022-04-14T13:04:14Z","timestamp":1649941454000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10398-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319103976","9783319103983"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10398-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}