{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:11:41Z","timestamp":1725574301987},"publisher-location":"Berlin, Heidelberg","reference-count":71,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540249368"},{"type":"electronic","value":"9783540318477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31847-7_7","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T19:51:47Z","timestamp":1294429907000},"page":"116-133","source":"Crossref","is-referenced-by-count":17,"title":["Graph Transformation in Molecular Biology"],"prefix":"10.1007","author":[{"given":"Francesc","family":"Rossell\u00f3","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Valiente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1007477814995","volume":"29","author":"N. Abe","year":"1997","unstructured":"Abe, N., Mamitsuka, H.: Predicting protein secondary structure using stochastic tree grammars. Machine learning\u00a029, 275\u2013301 (1997)","journal-title":"Machine learning"},{"key":"7_CR2","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, C.F., M\u00fcller, S., Stadler, P.: 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, Amsterdam (2004)"},{"key":"7_CR3","doi-asserted-by":"crossref","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. Journal of Chemical Information and Computer Sciences\u00a043, 1085\u20131093 (2003)","journal-title":"Journal of Chemical Information and Computer Sciences"},{"key":"7_CR4","first-page":"16","volume-title":"The Logic of Artificial Life: Abstracting and Synthesizing the Principles of Living Systems","author":"G. Benk\u00f6","year":"2004","unstructured":"Benk\u00f6, G., Flamm, C., Stadler, P.F.: Multi-phase artificial chemistry. In: Schaub, H., Detje, F., Br\u00fcggemann, U. (eds.) The Logic of Artificial Life: Abstracting and Synthesizing the Principles of Living Systems, pp. 16\u201322. IOS Press, Amsterdam (2004)"},{"key":"7_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/978-3-540-39432-7_2","volume-title":"Advances in Artificial Life","author":"G. Benk\u00f6","year":"2003","unstructured":"Benk\u00f6, G., Flamm, C., Stadler, P.F.: Generic properties of chemical networks: Artificial chemistry based on graph rewriting. In: Banzhaf, W., Ziegler, J., Christaller, T., Dittrich, P., Kim, J.T. (eds.) ECAL 2003. LNCS (LNAI), vol.\u00a02801, pp. 10\u201319. Springer, Heidelberg (2003)"},{"key":"7_CR6","volume-title":"Computational modeling of genetic and biochemical networks","author":"J.M. Bower","year":"2001","unstructured":"Bower, J.M., Bolouri, H.: Computational modeling of genetic and biochemical networks. MIT Press, Cambridge (2001)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"2561","DOI":"10.1093\/nar\/12.5.2561","volume":"12","author":"V. Brendel","year":"1984","unstructured":"Brendel, V., Busse, H.G.: Genome structure described by formal languages. Nucleic Acid Research\u00a012, 2561\u20132568 (1984)","journal-title":"Nucleic Acid Research"},{"doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Brane calculi. In: Proc. Workshop Concurrent Methods in Molecular Biology. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004) (to appear)","key":"7_CR8","DOI":"10.1007\/978-3-540-25974-9_24"},{"key":"7_CR9","first-page":"444","volume":"47","author":"A. Cayley","year":"1874","unstructured":"Cayley, A.: On the mathematical theory of isomers. Philosophical Magazine\u00a047, 444\u2013446 (1874)","journal-title":"Philosophical Magazine"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"4559","DOI":"10.1021\/ma00202a031","volume":"22","author":"H.S. Chan","year":"1989","unstructured":"Chan, H.S., Dill, K.A.: Compact polymers. Macromolecules\u00a022, 4559\u20134573 (1989)","journal-title":"Macromolecules"},{"doi-asserted-by":"crossref","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation. Part I: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01, pp. 163\u2013246. World Scientific, Singapore (1997)","key":"7_CR11","DOI":"10.1142\/9789812384720_0003"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1080\/03081077608934737","volume":"3","author":"K. Culik II","year":"1976","unstructured":"Culik II, K., Lindenmayer, A.: Parallel rewriting on graphs and multidimensional development. Int. Journ. of General Systems\u00a03, 53\u201366 (1976)","journal-title":"Int. Journ. of General Systems"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-36481-1_3","volume-title":"Computational Methods in Systems Biology","author":"M. Curti","year":"2003","unstructured":"Curti, M., Degano, P., Baldari, C.: Causal \u03c0-calculus for biochemical modelling. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 21\u201333. Springer, Heidelberg (2003)"},{"unstructured":"Danos, V., Krivine, J.: Formal molecular biology done in CCS. In: Proc. Workshop Concurrent Methods in Molecular Biology. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004) (to appear)","key":"7_CR14"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/3-540-36481-1_4","volume-title":"Computational Methods in Systems Biology","author":"V. Danos","year":"2003","unstructured":"Danos, V., Laneve, C.: Graphs for core molecular biology. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 34\u201346. Springer, Heidelberg (2003)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-36575-3_21","volume-title":"Programming Languages and Systems","author":"V. Danos","year":"2003","unstructured":"Danos, V., Laneve, C.: Core formal molecular biology. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 302\u2013318. Springer, Heidelberg (2003)"},{"key":"7_CR17","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, 69\u2013110 (2004)","journal-title":"Theoretical Computer Science"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/bib\/4.3.246","volume":"4","author":"Y. Deville","year":"2003","unstructured":"Deville, Y., Gilbert, D., van Helden, J., Wodak, S.J.: An overview of data models for the analysis of biochemical pathways. Briefings in Bioinformatics\u00a04, 246\u2013259 (2003)","journal-title":"Briefings in Bioinformatics"},{"key":"7_CR19","volume-title":"The Diels-Alder Reaction: Selected Practical Methods","author":"F. Fringuelli","year":"2002","unstructured":"Fringuelli, F., Taticchi, A.: The Diels-Alder Reaction: Selected Practical Methods. John Wiley & Sons, Chichester (2002)"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1162\/106454601753238636","volume":"7","author":"P. Dittrich","year":"2001","unstructured":"Dittrich, P., Ziegler, J., Banzhaff, W.: Artificial chemistries\u2014a review. Artificial life\u00a07, 225\u2013275 (2001)","journal-title":"Artificial life"},{"key":"7_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790492","volume-title":"Biological sequence analysis: Probabilistic models of proteins and nucleic acids","author":"R. Durbin","year":"1998","unstructured":"Durbin, R., Krogh., A., Mitchison, G., Eddy, S.: Biological sequence analysis: Probabilistic models of proteins and nucleic acids. Cambridge Univ. Press, Cambridge (1998)"},{"key":"7_CR22","series-title":"Natural computing series","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06371-2","volume-title":"Computation in Living Cells: Gene Assembly in Ciliates","author":"A. Ehrenfeucht","year":"2004","unstructured":"Ehrenfeucht, A., Harju, T., Petre, I., Prescott, D.M., Rosenberg, G.: Computation in Living Cells: Gene Assembly in Ciliates. Natural computing series. Springer, Berlin (2004)"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation. part II: Single pushout approach and comparison with double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01, pp. 247\u2013312. World Scientific, Singapore (1997)","key":"7_CR23","DOI":"10.1142\/9789812384720_0004"},{"key":"7_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of algebraic specification I: Equations and initial semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of algebraic specification I: Equations and initial semantics. Springer, Heidelberg (1985)"},{"key":"7_CR25","first-page":"400","volume-title":"Pacific symposium on Biocomputing 2001","author":"S. Eker","year":"2001","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway logic: Symbolic analisys of biological signalling. In: Pacific symposium on Biocomputing 2001, pp. 400\u2013412. World Scientific, Singapore (2001)"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/S0097-8485(01)00119-X","volume":"26","author":"L.T. Fan","year":"2002","unstructured":"Fan, L.T., Bert\u00f3k, B., Friedler, F.: A graph-theoretic method to identify candidate mechanisms for deriving the rate law of a catalytic reaction. Computers & Chemistry\u00a026, 265\u2013292 (2002)","journal-title":"Computers & Chemistry"},{"unstructured":"F\u00e9lix, L., Rossell\u00f3, F., Valiente, G.: Artificial chemistries and metabolic pathways. In: Messeguer, X., Valiente, G. (eds.) Proc. 5th Annual Spanish Bioinformatics Conference, Barcelona, Technical University of Catalonia, pp. 56\u201359 (2004)","key":"7_CR27"},{"key":"7_CR28","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1017\/S1355838200992161","volume":"6","author":"C. Flamm","year":"2000","unstructured":"Flamm, C., Fontana, W., Hofacker, I., Schuster, P.: Kinetic folding of RNA at elementary step resolution. RNA\u00a06, 325\u2013338 (2000)","journal-title":"RNA"},{"key":"7_CR29","series-title":"Santa Fe Institute Studies in the Sciences of Complexity","first-page":"159","volume-title":"Artificial Life II","author":"W. Fontana","year":"1992","unstructured":"Fontana, W.: Algorithmic chemistry. In: Artificial Life II. Santa Fe Institute Studies in the Sciences of Complexity, vol.\u00a047, pp. 159\u2013210. Addison-Wesley, Reading (1992)"},{"key":"7_CR30","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1021\/ci00052a009","volume":"26","author":"S. Fujita","year":"1986","unstructured":"Fujita, S.: Description of organic reactions based on imaginary transition structures. Part 1-5. Journal of Chemical Information and Computer Sciences\u00a026, 205\u2013242 (1986)","journal-title":"Journal of Chemical Information and Computer Sciences"},{"unstructured":"Fujita, S.: Computer-Oriented Representation of Organic Reactions. Yoshioka Shoten, Kyoto (2001)","key":"7_CR31"},{"key":"7_CR32","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1021\/ci00055a002","volume":"27","author":"S. Fujita","year":"1987","unstructured":"Fujita, S.: Description of organic reactions based on imaginary transition structures. Part 6-9. Journal of Chemical Information and Computer Sciences\u00a027, 99\u2013120 (1987)","journal-title":"Part 6-9. Journal of Chemical Information and Computer Sciences"},{"key":"7_CR33","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0303-2647(97)00037-3","volume":"43","author":"D. Gernert","year":"1997","unstructured":"Gernert, D.: Graph grammars as an analytical tool in physics and biology. Biosystems\u00a043, 179\u2013187 (1997)","journal-title":"Biosystems"},{"key":"7_CR34","doi-asserted-by":"publisher","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"P. Goss","year":"1998","unstructured":"Goss, P., Peccoud, J.: Quantitative modelling of stochastic systems in molecular biology using stochastic Petri nets. Proc. Nat. Acad. Sc.\u00a095, 6750\u20136755 (1998)","journal-title":"Proc. Nat. Acad. Sc."},{"key":"7_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-540-30203-2_16","volume-title":"Graph Transformations","author":"R. Heckel","year":"2004","unstructured":"Heckel, R., Lajios, G., Menge, S.: Stochastic graph transformation systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 210\u2013225. Springer, Heidelberg (2004)"},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF00818163","volume":"125","author":"I. Hofacker","year":"1994","unstructured":"Hofacker, I., Fontana, W., Stadler, P., Bonhoeffer, L., Tacker, M., Schuster, P.: Fast folding and comparison of RNA secondary structures. Monatsh. Chem.\u00a0125, 167\u2013188 (1994)","journal-title":"Monatsh. Chem."},{"key":"7_CR37","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/nar\/28.1.27","volume":"28","author":"M. Kanehisa","year":"2000","unstructured":"Kanehisa, M., Goto, S.: KEGG: Kyoto encyclopedia of genes and genomes. Nucleic Acids Research\u00a028, 27\u201330 (2000)","journal-title":"Nucleic Acids Research"},{"key":"7_CR38","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0303-2647(93)90060-P","volume":"30","author":"A. Kister","year":"1993","unstructured":"Kister, A., Magarshak, Y., Malinsky, J.: The theoretical analysis of the process of RNA molecule self-assembly. BioSystems\u00a030, 31\u201348 (1993)","journal-title":"BioSystems"},{"key":"7_CR39","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1038\/nature01254","volume":"420","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Computational systems biology. Nature\u00a0420, 206\u2013210 (2002)","journal-title":"Nature"},{"key":"7_CR40","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0263-7855(95)00037-7","volume":"13","author":"A.M. Lesk","year":"1995","unstructured":"Lesk, A.M.: Systematic representation of protein folding patterns. J. Mol. Graph.\u00a013, 159\u2013164 (1995)","journal-title":"J. Mol. Graph."},{"unstructured":"Mayoh, B.: On patterns and graphs (1995) (preprint)","key":"7_CR41"},{"key":"7_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/3-540-06867-8_24","volume-title":"L-systems","author":"B. Mayoh","year":"1974","unstructured":"Mayoh, B.: Multidimensional Lindenmayer organisms. In: L-systems. LNCS, vol.\u00a015, pp. 302\u2013326. Springer, Heidelberg (1974)"},{"key":"7_CR43","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0168-9525(98)01659-X","volume":"15","author":"H. McAdams","year":"1999","unstructured":"McAdams, H., Arkin, A.: It\u2019s a noisy business! Genetic regulation at the nanomolar scale. Trends in Genetics\u00a015, 65\u201369 (1999)","journal-title":"Trends in Genetics"},{"key":"7_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-44992-2_8","volume-title":"DNA Computing","author":"J. McCaskill","year":"2001","unstructured":"McCaskill, J., Niemann, U.: Graph replacement chemistry for DNA processing. In: Condon, A., Rozenberg, G. (eds.) DNA 2000. LNCS, vol.\u00a02054, pp. 103\u2013116. Springer, Heidelberg (2001)"},{"volume-title":"Biological Pathways: An Atlas of Biochemistry and Molecular Biology","year":"1999","unstructured":"Michal, G. (ed.): Biological Pathways: An Atlas of Biochemistry and Molecular Biology. John Wiley & Sons, New York (1999)","key":"7_CR45"},{"key":"7_CR46","first-page":"183","volume":"1","author":"O. Polanski","year":"1975","unstructured":"Polanski, O.: Graphs in quantum chemistry. MATCH\u00a01, 183\u2013195 (1975)","journal-title":"MATCH"},{"doi-asserted-by":"crossref","unstructured":"Priami, C. (ed.): Proc. 1st Int. Workshop Computational Methods in Systems Biology. LNCS, vol.\u00a02602. Springer, Heidelberg (2003)","key":"7_CR47","DOI":"10.1007\/3-540-36481-1"},{"key":"7_CR48","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1110\/ps.24701","volume":"11","author":"T. Przytycka","year":"2002","unstructured":"Przytycka, T., Srinivasan, T., Rose, G.: Recursive domains in proteins. Protein Science\u00a011, 409\u2013417 (2002)","journal-title":"Protein Science"},{"key":"7_CR49","first-page":"459","volume-title":"Pacific symposium on Biocomputing 2001","author":"A. Regev","year":"2001","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the \u03c0- calculus process algebra. In: Pacific symposium on Biocomputing 2001, pp. 459\u2013470. World Scientific, Singapore (2001)"},{"key":"7_CR50","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":"7_CR51","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0097-8485(96)80010-6","volume":"20","author":"C. Reidys","year":"1996","unstructured":"Reidys, C., Stadler, P.F.: Bio-molecular shapes and algebraic structures. Computers & Chemistry\u00a020, 85\u201394 (1996)","journal-title":"Computers & Chemistry"},{"key":"7_CR52","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1038\/268495a0","volume":"268","author":"J. Richardson","year":"1977","unstructured":"Richardson, J.: \u03b2-sheet topology and the relatedness of proteins. Nature\u00a0268, 495\u2013500 (1977)","journal-title":"Nature"},{"key":"7_CR53","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1093\/bioinformatics\/16.4.334","volume":"16","author":"E. Rivas","year":"2000","unstructured":"Rivas, E., Eddy, S.R.: The language of RNA: a formal grammar that includes pseudoknots. Bioinformatics\u00a016, 334\u2013340 (2000)","journal-title":"Bioinformatics"},{"doi-asserted-by":"crossref","unstructured":"Rossell\u00f3, F., Valiente, G.: Chemical graphs, chemical reaction graphs, and chemical graph transformation. In: Proc. 2nd Int. Workshop Graph-Based Tools. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004) (to appear)","key":"7_CR54","DOI":"10.1016\/j.entcs.2004.12.033"},{"key":"7_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-540-30203-2_7","volume-title":"Graph Transformations","author":"F. Rossell\u00f3","year":"2004","unstructured":"Rossell\u00f3, F., Valiente, G.: Analysis of metabolic pathways by graph transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 70\u201382. Springer, Heidelberg (2004)"},{"key":"7_CR56","doi-asserted-by":"publisher","first-page":"5112","DOI":"10.1093\/nar\/22.23.5112","volume":"22","author":"Y. Sakakibara","year":"1994","unstructured":"Sakakibara, Y., Brown, M., Hughey, R., Mian, I., Sjolander, K., Underwood, R., Haussler, D.: Stochastic context-free grammars for tRNA modeling. Nucleic Acids Research\u00a022, 5112\u20135128 (1994)","journal-title":"Nucleic Acids Research"},{"key":"7_CR57","doi-asserted-by":"publisher","first-page":"5857","DOI":"10.1073\/pnas.95.11.5857","volume":"95","author":"J. Schultz","year":"1998","unstructured":"Schultz, J., Milpetz, F., Bork, P., Ponting, C.: SMART, a simple molecular architecture research tool. Proc. Nat. Acad. Sc.\u00a095, 5857\u20135864 (1998)","journal-title":"Proc. Nat. Acad. Sc."},{"key":"7_CR58","first-page":"47","volume-title":"Artificial Intelligence and Molecular Biology","author":"D. Searls","year":"1993","unstructured":"Searls, D.: The computational linguistics of biological sequences. In: Artificial Intelligence and Molecular Biology, pp. 47\u2013120. AAAI Press, Menlo Park (1993)"},{"doi-asserted-by":"crossref","unstructured":"Searls, D.: Formal language and biological macromolecules. In: Mathematical Support for Molecular Biology. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a047, pp. 128\u2013141. AMS (1999)","key":"7_CR59","DOI":"10.1090\/dimacs\/047\/06"},{"key":"7_CR60","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1038\/nature01255","volume":"420","author":"D. Searls","year":"2002","unstructured":"Searls, D.: The language of genes. Nature\u00a0420, 211\u2013217 (2002)","journal-title":"Nature"},{"key":"7_CR61","doi-asserted-by":"publisher","first-page":"1551","DOI":"10.1023\/A:1011913225764","volume":"23","author":"H. Seo","year":"2001","unstructured":"Seo, H., Lee, D.Y., Park, S., Fan, L.T., Shafie, S., Bert\u00f3k, B., Friedler, F.: Graphtheoretical identification of pathways for biochemical reactions. Biotechnology Letters\u00a023, 1551\u20131557 (2001)","journal-title":"Biotechnology Letters"},{"key":"7_CR62","first-page":"128","volume":"76","author":"P. Speroni","year":"2002","unstructured":"Speroni, P.: Artificial chemistries. Bull. EATCS\u00a076, 128\u2013141 (2002)","journal-title":"Bull. EATCS"},{"key":"7_CR63","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0167-2789(02)00601-2","volume":"171","author":"K. Tomita","year":"2002","unstructured":"Tomita, K., Kurokawa, H., Murata, S.: Graph automata: natural expression of self reproduction. Physica D\u00a0171, 197\u2013210 (2002)","journal-title":"Physica D"},{"key":"7_CR64","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0025-5564(78)90099-8","volume":"42","author":"M.S. Waterman","year":"1978","unstructured":"Waterman, M.S., Smith, T.F.: RNA secondary structure: a complete mathematical analysis. Math. Biosci.\u00a042, 257\u2013266 (1978)","journal-title":"Math. Biosci."},{"key":"7_CR65","doi-asserted-by":"crossref","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. Journal of Chemical Information and Computer Sciences\u00a028, 31\u201336 (1988)","journal-title":"Journal of Chemical Information and Computer Sciences"},{"key":"7_CR66","doi-asserted-by":"crossref","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. Journal of Chemical Information and Computer Sciences\u00a029, 97\u2013101 (1989)","journal-title":"Journal of Chemical Information and Computer Sciences"},{"key":"7_CR67","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1021\/ci00067a005","volume":"30","author":"D. Weininger","year":"1990","unstructured":"Weininger, D.: SMILES. 3. DEPICT. Graphical depiction of chemical structures. Journal of Chemical Information and Computer Sciences\u00a030, 237\u2013243 (1990)","journal-title":"Journal of Chemical Information and Computer Sciences"},{"key":"7_CR68","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1110\/ps.8.4.897","volume":"8","author":"D. Westhead","year":"1999","unstructured":"Westhead, D., Slidel, T., Flores, T., Thornton, J.: Protein structural topology: automated analysis and diagrammatic representation. Protein Science\u00a08, 897\u2013904 (1999)","journal-title":"Protein Science"},{"key":"7_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-30203-2_8","volume-title":"Graph Transformations","author":"M.K. Yadav","year":"2004","unstructured":"Yadav, M.K., Kelley, B.P., Silverman, S.M.: The potential of a chemical graph transformation system. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 83\u201395. Springer, Heidelberg (2004)"},{"key":"7_CR70","first-page":"323","volume":"3","author":"I. Zevedei-Oancea","year":"2003","unstructured":"Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. Silico Biology\u00a03, 323\u2013345 (2003)","journal-title":"Silico Biology"},{"key":"7_CR71","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1007\/BF02459506","volume":"46","author":"M. Zuker","year":"1984","unstructured":"Zuker, M., Sankoff, D.: RNA secondary structures and their prediction. Bull. Math. Biol.\u00a046, 591\u2013621 (1984)","journal-title":"Bull. Math. Biol."}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Software and Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31847-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T19:50:30Z","timestamp":1685908230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31847-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540249368","9783540318477"],"references-count":71,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31847-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}