1 - 44 of 44 results

BioASF / BioPAX-based Agent-oriented Simulation Framework

A generic simulation framework for BioPAX. BioASF explicitly separates the execution model from the model structure as provided by BioPAX, with the advantage that the modelling process becomes more reproducible and intrinsically more modular; this ensures natural biological constraints are satisfied upon execution. The framework is based on the principles of discrete event systems and multi-agent systems, and is capable of automatically generating a hierarchical multi-agent system for a given BioPAX model.

BioNSi / Biological Networks Simulator

A tool for modeling biological networks and simulating their discrete-time dynamics, implemented as a Cytoscape App. BioNSi includes a visual representation of the network that enables researchers to construct, set the parameters, and observe network behavior under various conditions. To construct a network instance in BioNSi, only partial, qualitative biological data suffices. The tool is aimed for use by experimental biologists and requires no prior computational or mathematical expertise.

SANA / Simulated Annealing Network Aligner

Explores the space of alignments looking for ones scoring well according to M (an objective function for alignment quality). SANA is based on a metaheuristic search algorithm with a rich history of successful applications to many optimization problems across a wide variety of domains. It was applied to protein-protein interaction networks using Symmetric Substructure Score (S3) as the topological measure. The tool significantly outperforms all other aligners in S3 score, for every pair of networks tested.


Designed to efficiently rewire large bipartite networks. BiRewire3 is a one-stop tool to rewire in a meaningful way any type of unweighted networks (undirected, directed, and signed) currently used to model different datasets and relations in computational biology (including presence-absence matrices, genomics datasets, pathways and signaling networks) in an computationally efficient way. It represents a significant and formally demonstrated advance with respect to its previous version, whose applicability was restricted to presence/absence matrices and undirected bipartite networks.


Provides a theoretical model of the bee lobula orientation-sensitive neurons. BeeLobulaModel is a very simple neural network models based directly on the neural circuitry of honeybees. It just uses four large-field lobula orientation-sensitive neurons from each eye, which sparsely connect to a single layer of interneurons within the bee brain learning centres, are able to discriminate complex achromatic patterns often used in bee behavioural experiments, without the need for an internal image representation. This model allows replication of the twenty-six discrimination & generalization visual stimuli experiments simulated taken from four published honeybee behaviour papers.


Allows creation and manipulation of SBML format metabolic networks with reactions and compounds defined as in the KEGG LIGAND database. MetNetMaker is an application that uses the KEGG LIGAND compound/reaction naming convention and provides a graphical interface dedicated to flux-balance analysis (FBA)-ready metabolic network creation. The software has two main tabs: (i) Reaction Creator to create custom reactions and add them to the reaction database and, (ii) Reaction Picker to browse the reaction database and select reactions using filters.


Provides an alternative way of specifying simulation experiments. SESSL is a domain-specific language developed as binding for ML-Rules and adds an easy-to-use interface for running simulations with the new simulation algorithms. This application allows for efficiently performing simulation studies by exploiting the asynchronous, parallelized simulation interface to execute replications simultaneously. It can also be used for simulation-system agnostic and other simulation systems.

Meredys / MEsoscopic REaction DYnamics Simulator

Models and simulates reaction-diffusion systems. Meredys allows for the simulation of multi-component, multi-feature state molecular species in two and three dimensions. The software employs a Brownian dynamics engine to simulate reaction-diffusion systems at the reactive particle level, based on compartment properties, complex structure, and hydro-dynamic radii. Zeroth-, first-, and second order reactions are supported. The tool provides a powerful and versatile way to run accurate simulations of molecular and subcellular systems, that complement existing multi-agent simulation systems.


A stochastic tool for simulation of biochemical networks. Jdesigner allows model builders to run stochastic simulations of their models and perform statistical analysis on the results. It also provides i) options for loading and running the models, (ii) simulator options for data generation, (iii) data sampling, (iv) display settings, (v) generating correlations and power spectral densities, (vi) options for noise injection at one or more boundary nodes, and (vii) for plotting transfer functions.


A Cytoscape plugin that conveniently simulates dynamics related to robustness, and examines structural properties with respect to feedforward/feedback loops. NetDS can evaluate how robustly a network sustains a stable state against mutations by employing a Boolean network model. In addition, the plugin can examine all feedforward/feedback loops appearing in a network and determine whether or not a pair of loops is coupled. Random networks can also be generated to evaluate whether or not an interesting finding in real biological networks is significantly random.


Allows users to specify molecular complexes and their interactions as well as the reaction-induced modifications of the molecules through a flexible visual interface. It can take into account the positions of the components of trans-membrane complexes relative to the embedding membranes as well as symmetry aspects affecting the reactions of multimeric molecular structures. Models created with this tool can be simulated using the Simmune Simulator or be exported as SBML code or as files describing the reaction networks as systems of ODEs for import into Matlab.


Implements a network-free method for simulation of rule-based models that is similar to Gillespie's method. The method is suitable for rule-based models that can be encoded in BNGL, including models with rules that have global application conditions, such as rules for intramolecular association reactions. In addition, the method is rejection free, unlike other network-free methods that introduce null events, i.e., steps in the simulation procedure that do not change the state of the reaction system being simulated.

Moose / Multiscale Object-Oriented Simulation environment

Reproduces neural systems from biochemical signaling to complex models including single neurons, circuits, and larges networks. Moose classifies biological concepts into classes and dispatch them into instances connected by messages and then generates the corresponding model. The software supports a wide range of format and supplies many functionalities as well as data representations, solvers, a scripting interface and graphical displays.

BNS / Boolean Networks with Synchronous

Computes attractors in Boolean Networks with Synchronous update. BNS is a software tool used for the modeling of genetic regulatory networks. It implements an algorithm based on a SAT-based bounded model checking. BNS uses much less space compared to BooleNet or other BDD-based approaches for computing attractors. It can handle several orders of magnitude larger networks. Finally, it reads in a Boolean network description represented in a .cnet format similar to the Berkeley Logic Interchange Format (BLIF) format commonly used in synthesis and verification tools and prints out the set of network's attractors.