Analyze biological regulatory networks with this utility. Arne is a graphical tool to help you model and analyze biological regulatory networks. It uses the mCRL2 model checker suite as back-end and is build using the Eclipse Rich Client Platform.
So, if you were looking for a tool to help you create biological networks, take Arne for a spin and check out if its capabilities can satisfy your needs.
Arne Features:
1. graphical editing of discrete regulatory networks, including short-term effect
2. automatic generation of activation functions, steered using monotonicity constraints, modal mu-calculus formulae, bisimulation equivalences, and multi-stationarity / homeostasy constraints
3. displaying of network behavior using the mCRL2 tool ltsgraph

The license of this software is Free, you can free download and free use this calculator software.