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

S(E~0,F~0,A~0,Y~U)

S E 0 F 0 A 0 Y U

Observables

S(Y~U!?)

S E 0 1 F 0 1 A 0 1 Y U

S(Y~P!?)

S E 0 1 F 0 1 A 0 1 Y P

S(Y~2P!?)

S E 0 1 F 0 1 A 0 1 Y 2P

S(Y~3P!?)

S E 0 1 F 0 1 A 0 1 Y 3P

S(Y~4P!?)

S E 0 1 F 0 1 A 0 1 Y 4P

S(Y~5P!?)

S E 0 1 F 0 1 A 0 1 Y 5P

S(Y~6P!?)

S E 0 1 F 0 1 A 0 1 Y 6P

S(Y~7P!?)

S E 0 1 F 0 1 A 0 1 Y 7P

S(Y~8P!?)

S E 0 1 F 0 1 A 0 1 Y 8P

S(Y~9P!?)

S E 0 1 F 0 1 A 0 1 Y 9P

S(Y~10P!?)

S E 0 1 F 0 1 A 0 1 Y 10P

S(Y~11P!?)

S E 0 1 F 0 1 A 0 1 Y 11P

S(Y~12P!?)

S E 0 1 F 0 1 A 0 1 Y 12P

S(Y~13P!?)

S E 0 1 F 0 1 A 0 1 Y 13P

S(Y~14P!?)

S E 0 1 F 0 1 A 0 1 Y 14P

S(Y~15P!?)

S E 0 1 F 0 1 A 0 1 Y 15P

S(Y~16P!?)

S E 0 1 F 0 1 A 0 1 Y 16P

S(Y~17P!?)

S E 0 1 F 0 1 A 0 1 Y 17P

S(Y~18P!?)

S E 0 1 F 0 1 A 0 1 Y 18P

S(Y~19P!?)

S E 0 1 F 0 1 A 0 1 Y 19P

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 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇U

S(E~1,A~0,Y~P) <-> S(E~1!1,A~0,Y~P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇P

S(E~1,A~0,Y~2P) <-> S(E~1!1,A~0,Y~2P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇2P

S(E~1,A~0,Y~3P) <-> S(E~1!1,A~0,Y~3P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇3P

S(E~1,A~0,Y~4P) <-> S(E~1!1,A~0,Y~4P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇4P

S(E~1,A~0,Y~5P) <-> S(E~1!1,A~0,Y~5P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇5P

S(E~1,A~0,Y~6P) <-> S(E~1!1,A~0,Y~6P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇6P

S(E~1,A~0,Y~7P) <-> S(E~1!1,A~0,Y~7P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇7P

S(E~1,A~0,Y~8P) <-> S(E~1!1,A~0,Y~8P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇8P

S(E~1,A~0,Y~9P) <-> S(E~1!1,A~0,Y~9P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇9P

S(E~1,A~0,Y~10P) <-> S(E~1!1,A~0,Y~10P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇10P

S(E~1,A~0,Y~11P) <-> S(E~1!1,A~0,Y~11P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇11P

S(E~1,A~0,Y~12P) <-> S(E~1!1,A~0,Y~12P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇12P

S(E~1,A~0,Y~13P) <-> S(E~1!1,A~0,Y~13P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇13P

S(E~1,A~0,Y~14P) <-> S(E~1!1,A~0,Y~14P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇14P

S(E~1,A~0,Y~15P) <-> S(E~1!1,A~0,Y~15P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇15P

S(E~1,A~0,Y~16P) <-> S(E~1!1,A~0,Y~16P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇16P

S(E~1,A~0,Y~17P) <-> S(E~1!1,A~0,Y~17P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇17P

S(E~1,A~0,Y~18P) <-> S(E~1!1,A~0,Y~18P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇18P

S(E~1,A~0,Y~19P) <-> S(E~1!1,A~0,Y~19P!1)

S E 1 ⬆⬇1 F 0 1 A 0 Y 1 ⬆⬇19P

S(F~1,A~0,Y~P) <-> S(F~1!1,A~0,Y~P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇P

S(F~1,A~0,Y~2P) <-> S(F~1!1,A~0,Y~2P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇2P

S(F~1,A~0,Y~3P) <-> S(F~1!1,A~0,Y~3P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇3P

S(F~1,A~0,Y~4P) <-> S(F~1!1,A~0,Y~4P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇4P

S(F~1,A~0,Y~5P) <-> S(F~1!1,A~0,Y~5P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇5P

S(F~1,A~0,Y~6P) <-> S(F~1!1,A~0,Y~6P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇6P

S(F~1,A~0,Y~7P) <-> S(F~1!1,A~0,Y~7P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇7P

S(F~1,A~0,Y~8P) <-> S(F~1!1,A~0,Y~8P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇8P

S(F~1,A~0,Y~9P) <-> S(F~1!1,A~0,Y~9P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇9P

S(F~1,A~0,Y~10P) <-> S(F~1!1,A~0,Y~10P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇10P

S(F~1,A~0,Y~11P) <-> S(F~1!1,A~0,Y~11P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇11P

S(F~1,A~0,Y~12P) <-> S(F~1!1,A~0,Y~12P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇12P

S(F~1,A~0,Y~13P) <-> S(F~1!1,A~0,Y~13P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇13P

S(F~1,A~0,Y~14P) <-> S(F~1!1,A~0,Y~14P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇14P

S(F~1,A~0,Y~15P) <-> S(F~1!1,A~0,Y~15P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇15P

S(F~1,A~0,Y~16P) <-> S(F~1!1,A~0,Y~16P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇16P

S(F~1,A~0,Y~17P) <-> S(F~1!1,A~0,Y~17P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇17P

S(F~1,A~0,Y~18P) <-> S(F~1!1,A~0,Y~18P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇18P

S(F~1,A~0,Y~19P) <-> S(F~1!1,A~0,Y~19P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇19P

S(F~1,A~0,Y~20P) <-> S(F~1!1,A~0,Y~20P!1)

S E 0 1 F 1 ⬆⬇1 A 0 Y 1 ⬆⬇20P
CATALYSIS + ENZYME INACTIVATION.

S(E~1!1,A~0,Y~U!1) -> S(E~1,A~1,Y~P)

S E 1 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 F 0 1 A 0 1 take all branches, once each, in any order Y 1 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 1 A 0 1 take all branches, once each, in any order Y 19P 1 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 1 A 0 1 take all branches, once each, in any order Y 18P 1 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 1 A 0 1 take all branches, once each, in any order Y 17P 1 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 1 A 0 1 take all branches, once each, in any order Y 16P 1 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 1 A 0 1 take all branches, once each, in any order Y 15P 1 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 1 A 0 1 take all branches, once each, in any order Y 14P 1 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 1 A 0 1 take all branches, once each, in any order Y 13P 1 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 1 A 0 1 take all branches, once each, in any order Y 12P 1 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 1 A 0 1 take all branches, once each, in any order Y 11P 1 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 1 A 0 1 take all branches, once each, in any order Y 10P 1 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 1 A 0 1 take all branches, once each, in any order Y 9P 1 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 1 A 0 1 take all branches, once each, in any order Y 8P 1 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 1 A 0 1 take all branches, once each, in any order Y 7P 1 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 1 A 0 1 take all branches, once each, in any order Y 6P 1 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 1 A 0 1 take all branches, once each, in any order Y 5P 1 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 1 A 0 1 take all branches, once each, in any order Y 4P 1 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 1 A 0 1 take all branches, once each, in any order Y 3P 1 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 1 A 0 1 take all branches, once each, in any order Y 2P 1 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 1 A 0 1 take all branches, once each, in any order Y P 1 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 1 A 0 1 take all branches, once each, in any order Y U 1 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