| BooleanNet |
Boolean, piecewise linear |
simulation and visualization |
synchronous, asynchronous, or continuous |
(56) |
| GinSim |
discrete (multistate) |
model building, simulation, and analysis |
synchronous, asynchronous, or mixed asynchronous |
(57, 58) |
| CellNetAnalyzer |
Boolean (multistate) |
model simulation, visualization, and network properties analysis |
logic steady state |
(41, 50) |
| CellNetOptimizer |
Boolean |
model training and simulation |
logic steady state |
(25) |
| Odefy |
Boolean, logic-based ODEs |
model simulation and visualization |
synchronous, asynchronous, or continuous |
(28) |
| Genetic Network Analyzer |
piecewise linear |
model building and simulation |
continuous |
(59) |
| ChemChains |
Boolean |
model simulation, visualization, and analysis |
synchronous or asynchronous |
(60) |
| MetaReg |
discrete (multistate) |
model simulation, visualization, and refinement |
logic steady state |
(61) |
| SQUAD |
standardized qualitative dynamical systems |
model simulation and analysis |
continuous |
(38, 62) |
