From: ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks
Models
Fixed points enumeration for both update schemes
\(\Delta ^{\mathsf {all}} t\) (ms)
#\(^{\mathsf {all}} \mathbf {F}\)
Example
2
3
Lambda phage
4
1
Trp-reg
6
Fission-yeast
5
Mamm.
Tcrsig
8
FGF
25
1536
T-helper
170,642
5,875,504