Medical Systems Biology

You are here:  Software > ViSiBooL


A tool to model, visualize and simulate Boolean Networks.
ViSiBooL is a tool for GUI-based modeling of Boolean Networks. It supports an extended version of synchronous Boolean Networks with temporal predicates. ViSiBooL allows user-friendly modeling, organization and visualization of these networks as well as attractor simulation for different experimental setups like e.g. knock-out experiments. ViSiBooL supports SBML-qual as well as BoolNet-syntax(BoolNet).
With its graph-based representation of the whole network as well as the transitions functions of regulatory factors, ViSiBooL aims to increase clarity in Boolean Network design and also to reduce expenditure of time and errors in the modeling process.
ViSiBooL Screenshot 600
ViSiBooL is a java application that can be used on OS X, Windows and Linux. A runnable .jar file and the source code of the latest version (supporting exhaustive attractor search) can be downloaded here: 
Download .jar file ViSiBooL-latest.jar
Download source code

Previous versions are available here: 
Download .jar file ViSiBooL-1.01.jar
Download OS X application ViSiBooL.dmg
Download installer for Windows ViSiBooLSetup.exe
Download debian package ViSiBooL.deb
Download source files
All the system dependent installer-files include a version of the Java Runtime. To run the .jar file the current Java Runtime (>8.90) has to be installed manually (download Java Runtime).
To launch the .jar file make it executable and use double-click or enter 'java -jar ViSiBool1.01.jar' in the corresponding folder in command line.
The OS X application can be installed using the .dmg file. On Windows ViSiBooL can be installed using the windows installer.
To install ViSiBooL on Debian systems, please download the debian package and then run "sudo dpkg -i visibool-1.0.deb" in the command line. 
Getting started:
After installing ViSiBooL an examplary file, a model of the mammalian cellcycle can be started as exemplary network model. 
After launching the ViSiBooL application the example can be loaded by clicking "load example network" in the middle of the window. 
A network model of the mammalian cellcycle and an exemplary simulation setup are loaded.
You can also download the example file cellcycle.visibool (Right click and save link as..). In some browsers the file extension might be changed. The file then has to be renamed to cellcycle.visibool again. 
A manual of ViSiBooL is available via the help-menu of the application itself.

Please also see our corresponding publication:

Schwab J, Burkovski A, Siegle L, Müssel C, Kestler HA. ViSiBooL — visualization and simulation of Boolean networks with temporal constraints. Bioinformatics 33(4): 601-604, 2017.

Latest News


Our paper "A systems biology approach to define mechanisms, phenotypes, and drivers in PanNETs with a personalized perspective" has been published in npj systems biology and applications.


"Supporting SURgery with GEriatric Co-Management and AI (SURGE-Ahead): A study protocol for the development of a digital geriatrician" has been published in PLoS One.


"Self-Assessment of Having COVID-19 With the Corona Check Mhealth App" has been published in IEEE Journal of Biomedical and Health Informatics.

Our first quantum computing paper "Leveraging quantum computing for dynamic analyses of logical networks in systems biology" has been published in Patterns.


Our paper "Unsupervised domain adaptation for the detection of cardiomegaly in cross-domain chest X-ray images" has been published in Frontiers in Artificial Intelligence.


  1. "The HLA ligandome of oropharyngeal squamous cell carcinomas reveals shared tumour-exclusive peptides for semi-personalised vaccination" has been published online first in the British Journal of Cancer.


"Vaccine Side Effects in Health Care Workers after Vaccination against SARS-CoV-2: Data from TüSeRe:exact Study" has been published in Viruses-Basel.


"PREDICT-juvenile-stroke: PRospective evaluation of a prediction score determining individual clinical outcome three months after ischemic stroke in young adults – a study protocol" has been published in BMC Neurology.


Our paper "Federated Electronic Data Capture (fEDC): Architecture and Prototype" has been accepted for publiaction in the Journal of Biomedical Informatics.


Our paper "Efficient cross-valdation traversals in feature subset selection" has been published in Scientific Reports.


Our paper "CANTATA - prediction of missing links in Boolean networks using genetic programming" has been published in Bioinformatics.


Our paper "Interaction Empowerment in Mobile Health: Concepts, Challenges, and Perspectives" has been published in the Journal of Medical Internet Research mhealth and uhealth.


Our paper "Identification of dynamic driver sets controlling phenotypical landscapes" has been published in the Computational and Structural Biotechnology Journal.