Evaluation and reduction of stochastic reaction networks and differential equations

An all-in-one tool for the numerical solution, stochastic simulation, and minimization of dynamical systems with import/export options for a variety of third-party formats including SBML and Matlab.

Quick start

Supported through the Apache Commons Math library and through a Java porting of the SUNDIALS library.

Gillespie's Direct Method, Gibson and Bruck's Next Reaction Method, tau-leaping.

**Forward equivalence** produces a reduced model where every macro-variable represents the sum of variables in each block.

**Backward equivalence** ensures that all variables in a block have the same solution at all times points.

**Species equivalence** identifies a partition of the species of in a network and produces a reduced one where the marginal probability distribution of each macro-species corresponds to the probability distribution of the sum of the species in each block.

**Forward differential equivalence** and **backward differential equivalence** are generalizations of the forward and backward equivalences when the derivatives have rational expressions, minimum/maximum functions, etc.

**ε-forward and ε-backward equivalence**: relaxations of forward and backward equivalence where the macro-variables approximately represent the sum of original variables within some computable bound.