The iBioSim tool supports the modeling, analysis, and design of genetic circuits with applications in both systems and synthetic biology. It includes editors to construct genetic circuit models (GCM), Systems Biology Markup Language (SBML) models (L2V4 and L3V1 supported), and labeled Petri net (LPN) models. Models can be constructed by hand, imported from model databases, or learned from experimental data. These models can be analyzed using a variety of ODE and stochastic simulators as well as Markov chain analysis. The efficiency of these analysis methods is enhanced using a variety of automatic reaction-based and logical abstractions. The analysis results can be plotted as graphs or visualized upon the genetic circuit schematic.

Submissions