| |
BN
|
Bay
|
PN
|
PA
|
CB
|
DE
|
RB
|
ISM
|
CA
|
AB
|
|---|
|
Visualization
|
+
|
+
|
+
| | | |
+
|
+
|
+
|
+
|
|
Topology
|
+
|
+
|
+
| |
+
| | | | | |
|
Modularity
| | |
+
|
+
| | |
+
|
+
| | |
|
Hierarchy
| | |
e
|
e
| | | |
+
| | |
|
Multi-state
| | |
e
| | | |
+
|
+
|
+
|
+
|
|
Compartments
| | | |
e
| | |
+
|
+
| |
+
|
|
Spatial
| | | | | |
e
|
e
| |
+
|
+
|
|
Qualitative
|
+
|
+
|
+
|
+
|
+
| |
+
| | | |
|
Synchronized
|
+
| |
e
| | | | | |
+
| |
|
Stochastic
|
e
|
+
|
e
|
+
| |
e
|
+
|
+
|
+
|
+
|
|
Continuous
| | |
e
| | |
+
|
+
| | | |
- Modeling formalisms and implemented features. (+) Supported feature; (e) Available through extension; (BN) Boolean networks; (Bay) Bayesian networks; (PN) Petri nets; (PA) Process algebras; (CB) Constraint-based models; (DE) Differential equations; (RB) Rule-based models; (ISM) Interacting state machines; (CA) Cellular automata; (AB) Agent-based models.
