|
Required software
- Java can be installed via your software manager or downloaded from here
- Cytoscape version 2.8.3 can be obtained via the Cytoscape download page (contact data are required). Instructions to install ANIMO for Cytoscape 3 (recommended) can be found here.
- UPPAAL (at least 4.1) is free for academical use and available at UPPAAL home page. Non-academical users can gain access to UPPAAL via UPPAAL.com
Installing ANIMO
- ANIMO is free only for academic use.
For commercial uses, please contact us at 
- Run Cytoscape
- From the Plugins menu choose Manage Plugins
- Under the Settings tab, press the Add button
- Insert ANIMO as Name and http://fmt.cs.utwente.nl/tools/animo/plugins.xml as URL and press OK to confirm. The
development version of ANIMO (experimental, less stable) can be installed via http://fmt.cs.utwente.nl/tools/animo/dev/plugins.xml instead
- Select the new ANIMO item from the Download Sites list (it should appear under Cytoscape)
- From the panel on the left, select Available for Install, then Analysis and finally ANIMO v1.38
- Click on the Install button: ANIMO will be automatically installed
- ANIMO will ask for the location of the verifyta executable: it can be found in the bin (it can be bin-Linux, bin-Win32, ...) directory of the UPPAAL installation
- ANIMO is ready to be used
Updating ANIMO
- Run Cytoscape
- From the Plugins menu, choose Update Plugins
- Cytoscape will spend some time contacting all plugins providers
- If no plugins have been updated, the No updates available for currently installed plugins will be shown, otherwise a window with a list of updatable plugins will open
- If an updated version of ANIMO is available, it will appear under Updatable Plugins → Analysis → ANIMO v1.38: select it and press Update
|