From: ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra
Steady State Analysis | Limit Cycle Analysis | Input Format | System Requirements | |
---|---|---|---|---|
ADAM | Yes‡ | Yes◊ | Boolean (or polynomial) functions Logical Models (GINsim) | None, web based |
GINsim | Yes‡ | For small models | Parameters (non-zero truth tables) Logical Model | Java virtual machine○ |
BoolNet R package | For small †models | For small †models | Boolean functions | R statistics software |
DDLab | For small models | For small models | Logical tables | â—‹ |
BN/PBN Matlab Toolbox | For small models | For small models | Logical tables | Matlab |