ANIMO

ANIMO (Analysis of Networks with Interactive MOdeling) lets you model biological networks and compare their dynamics with experimental data.
The study of signaling networks often requires computational support to better deal with the complexity of biological interactions. The upcoming field of executable biology focuses on the design of executable computer algorithms that mimic biological phenomena[1]. Interacting biological entities are modelled both in their static and dynamic aspects, thus allowing the biologist to study the evolution of a system, playing it as a "movie"[2]. However, the user is frequently required to *learn complex mathematical formalisms* or modeling languages before starting with the real modeling experience. Moreover, the user will typically be asked to input *precise numerical data* to represent the speed of reactions, which are hardly ever known. ANIMO[3-5] contributes to the study of signaling networks by providing a framework for modeling and analyzing the behavior of biological pathways in a **formal yet user-friendly** way. The idea is to let molecular biologists **play** with different possible configurations for a pathway, and thus help them to formulate new hypotheses, detect wrong or missing data, and identify informative wet-lab experiments. After having defined a qualitative topology for the pathway, the user can become more precise, fitting the model to existing experimental data. All throughout the process, the user is able to see how the model would evolve, and query it for simple behavioral properties. ANIMO is based on the powerful formalism of Timed Automata[6], while the user interface is implemented as a plugin to the widespread network visualization tool Cytoscape[7], thus allowing for transparent modeling and analysis of signaling networks. *** [1] Fisher, J and Henzinger, T.A., [http://www.ncbi.nlm.nih.gov/pubmed/17989686 Executable cell biology] (2007) [2] Priami, C. [http://cacm.acm.org/magazines/2009/5/24650-algorithmic-systems-biology/fulltext Algorithmic systems biology: an opportunity for computer science] (2009) [3] Schivo, S. et al. [http://www.ncbi.nlm.nih.gov/pubmed/24808226 Modeling biological pathway dynamics with timed automata] (2014) [4] Scholma, J. et al. [http://www.ncbi.nlm.nih.gov/pubmed/24125950 Biological networks 101: computational modeling for molecular biologists] (2014) [5] Schivo, S. et al. [http://dx.doi.org/10.4204/EPTCS.145.5 Setting Parameters for Biological Models With ANIMO] (2014) [6] Bengtsson, J. and Yi, W. [http://link.springer.com/chapter/10.1007%2F978-3-540-27755-2_3 Timed automata: Semantics, algorithms and tools] (2004) [7] http://www.cytoscape.org

3.5.1

Works with Cytoscape 3.4

Release Notes

- ODE model works properly again also with later versions of UPPAAL - under Windows, the simulations work properly and do not complain about an invalid random seed number - the UPPAAL version number is read properly also in case of smaller sub-version numbers, like for "4.1.26-1".

3.5.0

Works with Cytoscape 3.4

Release Notes

- when asking model checking queries, the analysis is now much faster, and much larger models can be used - k-parameter optimization works again properly - now ANIMO automatically checks the currently provided version of UPPAAL when you start Cytoscape. If the version of UPPAAL is not compatible with ANIMO, you get an error message and should go to uppaal.org to get the latest version of UPPAAL. Then indicate where you saved and unzipped the UPPAAL files using the "Options..." button (bottom of the ANIMO panel) - random runs (average or overlay) now work much better: even if the runs are generated very fast, they are all different as expected - zoom in/out to get a bigger/smaller graph can be done with the mouse wheel, or via the right-click menu on the graph

3.4.1

Works with Cytoscape 3.4

Release Notes

- Added support to newer versions of UPPAAL (4.1.22 on) and Cytoscape. - Please, **update** to the latest version of [https://uppaal.org/downloads/ UPPAAL] and link it to ANIMO using the *Options...* button in ANIMO's panel. - It is recommended that you update Cytoscape too. - Model checking is now faster. - ANIMO automatically selects the best underlying Timed Automata model type, so you don't have to.

3.4.0

Works with Cytoscape 3.4


3.1.1

Works with Cytoscape 3.1


3.1.0

Works with Cytoscape 3.1


3.0.9

Works with Cytoscape 3.1


3.0.8

Works with Cytoscape 3.1


3.0.7

Works with Cytoscape 3.1


3.0.6

Works with Cytoscape 3.1


3.0.5

Works with Cytoscape 3.1


3.0.4

Works with Cytoscape 3.1


3.0.3

Works with Cytoscape 3.1


3.0.2

Works with Cytoscape 3.1


3.0.1

Works with Cytoscape 3.1


3.0.0

Works with Cytoscape 3.1


CYTOSCAPE 3

Version 3.5.1

Released 7 Jul 2022

Works with Cytoscape 3.4

Download Stats Click here

CYTOSCAPE 2

Version 2.57

Released 13 Nov 2014

Works with Cytoscape 2.8.1, 2.8.2, 2.8.3