Symbolic and Quantitative Reasoning: Design of Reaction Pathways Through Recursive Satisfaction of Constraints

Happel, 1986 Happel, 1982, Multiple reaction mechanisms in catalysis, Ind. Eng. Chem. Fundam., 21, 67, 10.1021/i100005a014 Happel, 1983, Analysis of the possible mechanisms for a catalytic reaction system, Adv. Catal., 32, 273, 10.1016/S0360-0564(08)60442-3 Happel, 1989, The characterization of complex systems of chemical reactions, Chem. Eng. Commun., 83, 221, 10.1080/00986448908940663 Happel, 1990, Mechanistic study of chemical reaction systems, Ind. Eng. Chem. Res., 29, 1057, 10.1021/ie00102a016 Horiuti, 1973, Theory of reaction rates as based on the stoichiometric number concept, Ann. N.Y. Acad. Sci., 213, 5, 10.1111/j.1749-6632.1973.tb51052.x Horiuti, 1967, On the theory of heterogeneous catalysis, Adv. Catal., 17, 1, 10.1016/S0360-0564(08)60684-7 Lee, 1981, Reaction mechanisms and chemical networks—Types of elementary steps and generation of laminar mechanisms, Z. Phys. Chem., 124, 129, 10.1524/zpch.1981.125.2.129 Mavrovouniotis, 1989 Mavrovouniotis, 1992, Synthesis of reaction mechanisms consisting of reversible and irreversible steps: II. Formalization and analysis of the synthesis algorithm, Ind. Eng. Chem. Res., 31, 1637, 10.1021/ie00007a010 Mavrovouniotis, 1992, Synthesis of reaction mechanisms consisting of reversible and irreversible steps: I. A synthesis approach in the context of simple examples, Ind. Eng. Chem. Res., 31, 1625, 10.1021/ie00007a009 Mavrovouniotis, 1990, Computer-aided synthesis of biochemical pathways, Biotechnol. Bioeng., 36, 1119, 10.1002/bit.260361107 Mavrovouniotis, 1992, Synthesis of biochemical production routes, Comput. Chem. Eng., 16, 605, 10.1016/0098-1354(92)80071-G Milner, 1964, The possible mechanisms of complex reactions involving consecutive steps, J. Electrochem. Soc., 111, 228, 10.1149/1.2426089 Sellers, 1971, An introduction to a mathematical theory of chemical reaction networks I, Archive for Rational Mech. Anal., 44, 23, 10.1007/BF00250826 Sellers, 1972, An introduction to a mathematical theory of chemical reaction networks II, Archive for Rational Mech. Anal., 44, 376, 10.1007/BF00249967 Sellers, 1984, Combinatorial classification of chemical mechanisms, SIAM J. Appl. Math., 44, 784, 10.1137/0144056 Sellers, 1989, Combinatorial aspects of enzyme kinetics Sinanoĝlu, 1975, Theory of chemical reaction networks. All possible mechanisms or synthetic pathways with given number of reaction steps or species, J. Am. Chem. Soc., 97, 2309, 10.1021/ja00842a001 Sinanoĝlu, 1978, Finding all possible a priori mechanisms for a given type of overall reaction, Theor. Chim. Acta, 48, 287, 10.1007/BF02394587 Temkin, 1973, The kinetics of transfer of labeled atoms by reaction, Ann. N.Y. Acad. Sci., 213, 79, 10.1111/j.1749-6632.1973.tb51060.x Temkin, 1979, The kinetics of some industrial heterogeneous catalytic reactions, Adv. Catal., 26, 173, 10.1016/S0360-0564(08)60135-2 Yarlagadda, 1988, Direct conversion of methane to methanol in a flow reactor, Ind. Eng. Chem. Res., 27, 252, 10.1021/ie00074a008