We believe microbial factories can be modeled just like any other factories.
Dry Lab members initially generated mathematical models and computer simulations based purely on theory and reading. After the Wet Lab had collected real data, it became possible to compare theoretical expectations with their findings.
Every simulation reviewed here tracks the same chemistry — PET broken down by PETase, its intermediate cleaved by MHETase into terephthalic acid (TPA) and ethylene glycol (EG) — but each encodes a different mathematical assumption about how fast that happens. This section lays out the governing equations side by side for the five models retained after review.
The baseline model treats both enzymes as classic single-substrate catalysts. Reaction velocity saturates as substrate becomes abundant, because enzyme active sites are the limiting resource:
Crystalline PET is harder to attack than amorphous PET, so velocity is split by phase and the crystalline fraction is damped exponentially by a crystallinity index \(x = S_{\text{cryst}}/S\):
Temperature enters through an Arrhenius term centered on a 30°C optimum, with an extra penalty past 55°C:
MHET cleavage splits into TPA and EG at a fixed, mass-conserving ratio (molar composition of MHET): \( \Delta\text{TPA} = 0.73\,v_{\text{MHETase}}, \; \Delta\text{EG} = 0.27\,v_{\text{MHETase}} \). Time is advanced in discrete ticks (an explicit Euler-style update), not continuous integration.
Here PETase activity is modeled as cooperative rather than simple Michaelis–Menten, using a Hill coefficient \(n = 1.8\) — velocity rises more sigmoidally with substrate concentration:
MHETase kinetics stay Michaelis–Menten (identical to X). What changes most is thermal behavior: instead of X's gentle penalty above 55°C, Z applies a much steeper denaturation cliff starting ten degrees earlier:
Crystallinity hindrance is also linearized rather than exponential: \( e^{-2.5x} \to 1 - 0.95x \). Stoichiometry reverts to the correct 0.73/0.27 TPA/EG split, so unlike Y, Z conserves mass.
Rather than stepping forward in discrete ticks, this model expresses the same PET→MHET→TPA pathway as a coupled system of ordinary differential equations and integrates it continuously with an explicit Runge–Kutta solver (scipy.integrate.solve_ivp, RK45):
Here \(k_1, k_2\) (PETase/MHETase expression levels) are the free parameters a user drags on sliders; the interface also perturbs each by a small \(\delta\) and re-integrates to show a live finite-difference sensitivity, \( \partial Y/\partial k_i \approx \big[Y(k_i+\delta)-Y(k_i)\big]/\delta \).
This is the only model where enzyme concentration is not a fixed input — it is itself the output of an upstream transcription/translation cascade, driven by promoter strength \(p\), plasmid copy number \(c\), and cell density \(d\):
PET breakdown itself is then zero-order in substrate and first-order only in enzyme concentration — there is no \(K_m\) term at all, unlike every other model here:
The most detailed model in the set: it tracks an explicit intermediate (BHET) between PET and MHET, converts every flux through real molar masses, and feeds temperature and pH back into the reaction rates rather than treating them as fixed constants:
Molar masses (g/mol): PET 192.17, BHET 254.24, MHET 210.18, TPA 166.13, EG 62.07.
Two feedback loops make this model distinctive: reaction extent raises temperature (\(\Delta T \mathrel{+}= 1.5f_1\), an exothermic-heat proxy), and acid byproduct lowers pH, which in turn slows \(\phi(\text{pH})\) — a self-limiting reaction absent from every other model above. The v5 file (2033_intermediate.html) adds one further wrinkle: a crystallinity step-modifier, \( \text{crystMod} = 0.3 \) once \([\text{PET}] < 0.1\times\text{PET}_0\), representing a recalcitrant crystalline core that resists the final stage of digestion.
| Model | File | Time | Rate law | Mass-conserving? | Distinctive feature |
|---|---|---|---|---|---|
| X | SimulationX_22May2026.html | discrete | Michaelis–Menten | yes | baseline / reference case |
| Z | SimulationZ_22May2026.html | discrete | Hill, \(n=1.8\) | yes | cooperative binding + steep thermal cliff |
| ODE | alternate_simulation.html | continuous | saturable (RK45-integrated) | yes | built-in parameter sensitivity analysis |
| Circuit | petase_circuit.html | discrete | zero-order in substrate | yes | enzyme level is a dynamic output, not an input |
| Stoichiometric | intermediate.html (v7)2033_intermediate.html (v5) | discrete | molar-mass flux | yes | explicit BHET intermediate; pH/temperature feedback |
In short: X and Z form a matched pair testing how one modeling choice (saturation law, thermal response, crystallinity penalty) changes outcomes on an otherwise identical scaffold — X assumes standard Michaelis–Menten kinetics, Z assumes cooperative (Hill) kinetics, reflecting the two candidate assumptions considered before the team had real experimental data to test between them. The ODE, circuit, and stoichiometric models each change the scaffold itself — continuous vs. discrete time, fixed vs. dynamically-produced enzyme, and lumped vs. explicit intermediates, respectively. Source simulations: SimulationX/Z (24 May 2026), alternate_simulation.html (13 May 2026), petase_circuit.html & intermediate.html/2033_intermediate.html (12 Apr 2026).
Simulation Y, an early linearized-kinetics variant, was removed from this comparison after review — it approximated saturating kinetics as first-order (valid only when substrate concentration is much smaller than Km, which did not hold here) and its stoichiometric bookkeeping did not conserve total mass.