Command line application for modeling biological systems. It allows to reason, i.e. predict, explain, and plan, about biological systems that are described in the action language C_TAID.
Examples for knowledge bases, observations and queries describing the sulfur starvation response-pathway of Arabidopsis thaliana using the action language C_TAID are provided in examples.tar.gz.
A comprehensive documentation of the action language C_TAID and the two supported translations can be found here (BioNetReasoningLong.pdf).
A short introduction to the syntax of the BioNetReasoning Tool and how it can be used to model biological systems can be found here (BioNetReasoningShort.pdf).