From: Dynamical modeling of the cholesterol regulatory pathway with Boolean networks
(ABCD)
t
0000
0001
0010
0011
0100
0101
...
t + 1
1101
1100
1111
0111