Stable state search

This tool provides the analytic (i.e. without running a simulation) determination of fixed points (stable states) of the model. All fixed points are determined, regardless of their reachability, using the algorithm described in Naldi2007.

The following command shows the fixed states for a model:

java -jar bioLQM.jar model.sbml -r fixpoints

The output is a list of patterns: some components do not have an assigned value, meaning that all states matching the pattern are fixed.