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.
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.