BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts

Catalyst: Fast and flexible modeling of reaction networks

We introduce Catalyst.jl, a flexible and feature-filled Julia library for modeling and high-performance simulation of chemical reaction networks (CRNs). Catalyst supports simulating stochastic chemical kinetics (jump process), chemical Langevin equation (stochastic differential equation), and reaction rate equation (ordinary differential equation) representations for CRNs. Through comprehensive benchmarks, we demonstrate that Catalyst simulation runtimes are often one to two orders of magnitude faster than other popular tools. More broadly, Catalyst acts as both a domain-specific language and an intermediate representation for symbolically encoding CRN models as Julia-native objects. This enables a pipeline of symbolically specifying, analyzing, and modifying CRNs; converting Catalyst models to symbolic representations of concrete mathematical models; and generating compiled code for numerical solvers. Leveraging ModelingToolkit.jl and Symbolics.jl, Catalyst models can be analyzed, simplified, and compiled into optimized representations for use in numerical solvers. Finally, we demonstrate Catalyst's broad extensibility and composability by highlighting how it can compose with a variety of Julia libraries, and how existing open-source biological modeling projects have extended its intermediate representation.

Characterization of Integrase and Excisionase Activity in a Cell-Free Protein Expression System Using a Modeling and Analysis Pipeline

We present a full-stack modeling, analysis, and parameter identification pipeline to guide the modeling and design of biological systems starting from specifications to circuit implementations and parametrizations. We demonstrate this pipeline by characterizing the integrase and excisionase activity in a cell-free protein expression system. We build on existing Python tools─BioCRNpyler, AutoReduce, and Bioscrape─to create this pipeline. For enzyme-mediated DNA recombination in a cell-free system, we create detailed chemical reaction network models from simple high-level descriptions of the biological circuits and their context using BioCRNpyler. We use Bioscrape to show that the output of the detailed model is sensitive to many parameters. However, parameter identification is infeasible for this high-dimensional model; hence, we use AutoReduce to automatically obtain reduced models that have fewer parameters. This results in a hierarchy of reduced models under different assumptions to finally arrive at a minimal ODE model for each circuit. Then, we run sensitivity analysis-guided Bayesian inference using Bioscrape for each circuit to identify the model parameters. This process allows us to quantify integrase and excisionase activity in cell extracts enabling complex-circuit designs that depend on accurate control over protein expression levels through DNA recombination. The automated pipeline presented in this paper opens up a new approach to complex circuit design, modeling, reduction, and parametrization.

Rapid modeling of experimental molecular kinetics with simple electronic circuits instead of with complex differential equations

Kinetic modeling has relied on using a tedious number of mathematical equations to describe molecular kinetics in interacting reactions. The long list of differential equations with associated abstract variables and parameters inevitably hinders readers’ easy understanding of the models. However, the mathematical equations describing the kinetics of biochemical reactions can be exactly mapped to the dynamics of voltages and currents in simple electronic circuits wherein voltages represent molecular concentrations and currents represent molecular fluxes. For example, we theoretically derive and experimentally verify accurate circuit models for Michaelis-Menten kinetics. Then, we show that such circuit models can be scaled via simple wiring among circuit motifs to represent more and arbitrarily complex reactions. Hence, we can directly map reaction networks to equivalent circuit schematics in a rapid, quantitatively accurate, and intuitive fashion without needing mathematical equations. We verify experimentally that these circuit models are quantitatively accurate. Examples include 1) different mechanisms of competitive, noncompetitive, uncompetitive, and mixed enzyme inhibition, important for understanding pharmacokinetics; 2) product-feedback inhibition, common in biochemistry; 3) reversible reactions; 4) multi-substrate enzymatic reactions, both important in many metabolic pathways; and 5) translation and transcription dynamics in a cell-free system, which brings insight into the functioning of all gene-protein networks. We envision that circuit modeling and simulation could become a powerful scientific communication language and tool for quantitative studies of kinetics in biology and related fields.