Molecules Attribute E/F indicates if a kinase or phosphatase is within the encounter complex (1 = within encounter complex). Attribute A indicates if the enzyme within the encounter complex is activate (A~0) or inactive (A~1). Attribute Y indicates the number of phosphorylated sites. S(E~0~1,F~0~1,A~0~1,Y~U~P~2P~3P~4P~5P~6P~7P~8P~9P~10P~11P~12P~13P~14P~15P~16P~17P~18P~19P~20P)
S
E
0
1
F
0
1
A
0
1
Y
U
P
2P
3P
4P
5P
6P
7P
8P
9P
10P
11P
12P
13P
14P
15P
16P
17P
18P
19P
20P Species Observables S0 S(Y~U!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? U S1 S(Y~P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? P S2 S(Y~2P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 2P S3 S(Y~3P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 3P S4 S(Y~4P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 4P S5 S(Y~5P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 5P S6 S(Y~6P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 6P S7 S(Y~7P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 7P S8 S(Y~8P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 8P S9 S(Y~9P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 9P S10 S(Y~10P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 10P S11 S(Y~11P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 11P S12 S(Y~12P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 12P S13 S(Y~13P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 13P S14 S(Y~14P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 14P S15 S(Y~15P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 15P S16 S(Y~16P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 16P S17 S(Y~17P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 17P S18 S(Y~18P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 18P S19 S(Y~19P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 19P S20 S(Y~20P!?)
S
E
0
? 1
F
0
? 1
A
0
? 1
Y
? 20P Reaction Rules ENCOUNTER COMPLEX S(E~0,F~0,A~0) <-> S(E~1,F~0,A~0)
S
E
0
1
take all branches, once each, in any order ⬇ ⬆
F
0
A
0
Y
U
P
2P
3P
4P
5P
6P
7P
8P
9P
10P
11P
12P
13P
14P
15P
16P
17P
18P
19P
? 20P S(E~0,F~0,A~0) <-> S(E~0,F~1,A~0)
S
E
0
F
0
1
take all branches, once each, in any order ⬇ ⬆
A
0
Y
U
P
2P
3P
4P
5P
6P
7P
8P
9P
10P
11P
12P
13P
14P
15P
16P
17P
18P
19P
? 20P S(E~1,F~0,A~1) -> S(E~0,F~0,A~0)
S
E
0
1
take one or more branches, once each, in any order ⬆
F
0
A
0
1
take one or more branches, once each, in any order ⬆
Y
U
P
2P
3P
4P
5P
6P
7P
8P
9P
10P
11P
12P
13P
14P
15P
16P
17P
18P
19P
? 20P S(E~0,F~1,A~1) -> S(E~0,F~0,A~0)
S
E
0
F
0
1
take one or more branches, once each, in any order ⬆
A
0
1
take one or more branches, once each, in any order ⬆
Y
U
P
2P
3P
4P
5P
6P
7P
8P
9P
10P
11P
12P
13P
14P
15P
16P
17P
18P
19P
? 20P BINDING REACTIONS S(E~1,A~0,Y~U) <-> S(E~1!1,A~0,Y~U!1) S(E~1,A~0,Y~P) <-> S(E~1!1,A~0,Y~P!1) S(E~1,A~0,Y~2P) <-> S(E~1!1,A~0,Y~2P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 2P S(E~1,A~0,Y~3P) <-> S(E~1!1,A~0,Y~3P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 3P S(E~1,A~0,Y~4P) <-> S(E~1!1,A~0,Y~4P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 4P S(E~1,A~0,Y~5P) <-> S(E~1!1,A~0,Y~5P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 5P S(E~1,A~0,Y~6P) <-> S(E~1!1,A~0,Y~6P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 6P S(E~1,A~0,Y~7P) <-> S(E~1!1,A~0,Y~7P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 7P S(E~1,A~0,Y~8P) <-> S(E~1!1,A~0,Y~8P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 8P S(E~1,A~0,Y~9P) <-> S(E~1!1,A~0,Y~9P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 9P S(E~1,A~0,Y~10P) <-> S(E~1!1,A~0,Y~10P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 10P S(E~1,A~0,Y~11P) <-> S(E~1!1,A~0,Y~11P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 11P S(E~1,A~0,Y~12P) <-> S(E~1!1,A~0,Y~12P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 12P S(E~1,A~0,Y~13P) <-> S(E~1!1,A~0,Y~13P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 13P S(E~1,A~0,Y~14P) <-> S(E~1!1,A~0,Y~14P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 14P S(E~1,A~0,Y~15P) <-> S(E~1!1,A~0,Y~15P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 15P S(E~1,A~0,Y~16P) <-> S(E~1!1,A~0,Y~16P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 16P S(E~1,A~0,Y~17P) <-> S(E~1!1,A~0,Y~17P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 17P S(E~1,A~0,Y~18P) <-> S(E~1!1,A~0,Y~18P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 18P S(E~1,A~0,Y~19P) <-> S(E~1!1,A~0,Y~19P!1)
S
E
⬇⬆ 1
F
0
? 1
A
0
Y
⬇⬆ 19P S(F~1,A~0,Y~P) <-> S(F~1!1,A~0,Y~P!1) S(F~1,A~0,Y~2P) <-> S(F~1!1,A~0,Y~2P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 2P S(F~1,A~0,Y~3P) <-> S(F~1!1,A~0,Y~3P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 3P S(F~1,A~0,Y~4P) <-> S(F~1!1,A~0,Y~4P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 4P S(F~1,A~0,Y~5P) <-> S(F~1!1,A~0,Y~5P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 5P S(F~1,A~0,Y~6P) <-> S(F~1!1,A~0,Y~6P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 6P S(F~1,A~0,Y~7P) <-> S(F~1!1,A~0,Y~7P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 7P S(F~1,A~0,Y~8P) <-> S(F~1!1,A~0,Y~8P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 8P S(F~1,A~0,Y~9P) <-> S(F~1!1,A~0,Y~9P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 9P S(F~1,A~0,Y~10P) <-> S(F~1!1,A~0,Y~10P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 10P S(F~1,A~0,Y~11P) <-> S(F~1!1,A~0,Y~11P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 11P S(F~1,A~0,Y~12P) <-> S(F~1!1,A~0,Y~12P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 12P S(F~1,A~0,Y~13P) <-> S(F~1!1,A~0,Y~13P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 13P S(F~1,A~0,Y~14P) <-> S(F~1!1,A~0,Y~14P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 14P S(F~1,A~0,Y~15P) <-> S(F~1!1,A~0,Y~15P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 15P S(F~1,A~0,Y~16P) <-> S(F~1!1,A~0,Y~16P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 16P S(F~1,A~0,Y~17P) <-> S(F~1!1,A~0,Y~17P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 17P S(F~1,A~0,Y~18P) <-> S(F~1!1,A~0,Y~18P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 18P S(F~1,A~0,Y~19P) <-> S(F~1!1,A~0,Y~19P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 19P S(F~1,A~0,Y~20P) <-> S(F~1!1,A~0,Y~20P!1)
S
E
0
? 1
F
⬇⬆ 1
A
0
Y
⬇⬆ 20P CATALYSIS + ENZYME INACTIVATION. S(E~1!1,A~0,Y~U!1) -> S(E~1,A~1,Y~P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ U
P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~P!1) -> S(E~1,A~1,Y~2P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ P
2P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~2P!1) -> S(E~1,A~1,Y~3P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 2P
3P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~3P!1) -> S(E~1,A~1,Y~4P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 3P
4P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~4P!1) -> S(E~1,A~1,Y~5P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 4P
5P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~5P!1) -> S(E~1,A~1,Y~6P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 5P
6P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~6P!1) -> S(E~1,A~1,Y~7P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 6P
7P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~7P!1) -> S(E~1,A~1,Y~8P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 7P
8P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~8P!1) -> S(E~1,A~1,Y~9P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 8P
9P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~9P!1) -> S(E~1,A~1,Y~10P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 9P
10P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~10P!1) -> S(E~1,A~1,Y~11P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 10P
11P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~11P!1) -> S(E~1,A~1,Y~12P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 11P
12P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~12P!1) -> S(E~1,A~1,Y~13P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 12P
13P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~13P!1) -> S(E~1,A~1,Y~14P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 13P
14P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~14P!1) -> S(E~1,A~1,Y~15P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 14P
15P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~15P!1) -> S(E~1,A~1,Y~16P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 15P
16P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~16P!1) -> S(E~1,A~1,Y~17P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 16P
17P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~17P!1) -> S(E~1,A~1,Y~18P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 17P
18P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~18P!1) -> S(E~1,A~1,Y~19P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 18P
19P
take all branches, once each, in any order ⬇ S(E~1!1,A~0,Y~19P!1) -> S(E~1,A~1,Y~20P)
S
E
⬆ 1
F
0
? 1
A
0
1
take all branches, once each, in any order ⬇
Y
⬆ 19P
20P
take all branches, once each, in any order ⬇ S(F~1!1,A~0,Y~20P!1) -> S(F~1,A~1,Y~19P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
19P
⬆ 20P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~19P!1) -> S(F~1,A~1,Y~18P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
18P
⬆ 19P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~18P!1) -> S(F~1,A~1,Y~17P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
17P
⬆ 18P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~17P!1) -> S(F~1,A~1,Y~16P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
16P
⬆ 17P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~16P!1) -> S(F~1,A~1,Y~15P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
15P
⬆ 16P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~15P!1) -> S(F~1,A~1,Y~14P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
14P
⬆ 15P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~14P!1) -> S(F~1,A~1,Y~13P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
13P
⬆ 14P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~13P!1) -> S(F~1,A~1,Y~12P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
12P
⬆ 13P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~12P!1) -> S(F~1,A~1,Y~11P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
11P
⬆ 12P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~11P!1) -> S(F~1,A~1,Y~10P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
10P
⬆ 11P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~10P!1) -> S(F~1,A~1,Y~9P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
9P
⬆ 10P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~9P!1) -> S(F~1,A~1,Y~8P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
8P
⬆ 9P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~8P!1) -> S(F~1,A~1,Y~7P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
7P
⬆ 8P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~7P!1) -> S(F~1,A~1,Y~6P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
6P
⬆ 7P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~6P!1) -> S(F~1,A~1,Y~5P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
5P
⬆ 6P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~5P!1) -> S(F~1,A~1,Y~4P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
4P
⬆ 5P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~4P!1) -> S(F~1,A~1,Y~3P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
3P
⬆ 4P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~3P!1) -> S(F~1,A~1,Y~2P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
2P
⬆ 3P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~2P!1) -> S(F~1,A~1,Y~P)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
P
⬆ 2P
take one or more branches, once each, in any order ⬆ S(F~1!1,A~0,Y~P!1) -> S(F~1,A~1,Y~U)
S
E
0
? 1
F
⬆ 1
A
0
1
take all branches, once each, in any order ⬇
Y
U
⬆ P
take one or more branches, once each, in any order ⬆ REFRACTORY PERIOD S(E~1,A~1) -> S(E~1,A~0)
S
E
1
F
0
? 1
A
0
1
take one or more branches, once each, in any order ⬆
Y
U
P
2P
3P
4P
5P
6P
7P
8P
9P
10P
11P
12P
13P
14P
15P
16P
17P
18P
19P
? 20P S(F~1,A~1) -> S(F~1,A~0)
S
E
0
? 1
F
1
A
0
1
take one or more branches, once each, in any order ⬆
Y
U
P
2P
3P
4P
5P
6P
7P
8P
9P
10P
11P
12P
13P
14P
15P
16P
17P
18P
19P
? 20P