Molecules

Lig(l,l)

Lig l l

Lyn(U,SH2)

Lyn U SH2

Syk(tSH2,l~Y~pY,a~Y~pY)

Syk tSH2 l Y pY a Y pY

Rec(a,b~Y~pY,g~Y~pY)

Rec a b Y pY g Y pY

Species

Lig(l,l)

Lig l l

Lyn(U,SH2)

Lyn U SH2

Syk(tSH2,l~Y,a~Y)

Syk tSH2 l Y a Y

Rec(a,b~Y,g~Y)

Rec a b Y g Y

Observables

Lyn(U,SH2)

Lyn U SH2

Rec(a)

Rec a b Y pY g Y pY

Rec(a!1).Lig(l!1,l))

Rec 1a b Y pY g Y pY Lig 1l l

Rec.Rec

Rec a b Y pY g Y pY Rec a b Y pY g Y pY

Rec(b~pY!?)

Rec a b pY g Y pY

Rec(g~pY)

Rec a b Y pY g pY

Rec(g~pY!+))

Rec a b Y pY g pY

Rec(g~pY!1).Syk(tSH2!1)

Rec a b Y pY g 1pY Syk 1tSH2 l Y pY a Y pY

Rec(g~pY!1).Syk(tSH2!1,a~pY)

Rec a b Y pY g 1pY Syk 1tSH2 l Y pY a pY

Syk

Syk tSH2 l Y pY a Y pY

Lyn

Lyn U SH2

Rec

Rec a b Y pY g Y pY

Reaction Rules

Ligand-receptor binding

Rec(a) + Lig(l,l) <-> Rec(a!1).Lig(l!1,l)

Rec 1 ⬆⬇a b Y pY g Y pY Lig 1 ⬆⬇l l
Receptor-aggregation

Rec(a) + Lig(l,l!+) <-> Rec(a!2).Lig(l!2,l!+)

Rec 2 ⬆⬇a b Y pY g Y pY Lig 2 ⬆⬇l l
Constitutive Lyn-receptor binding

Rec(b~Y) + Lyn(U,SH2) <-> Rec(b~Y!1).Lyn(U!1,SH2)

Rec a b 1 ⬆⬇Y g Y pY Lyn 1 ⬆⬇U SH2
Transphosphorylation of beta by constitutive Lyn

Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,b~Y) -> Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,b~pY)

Lig 1l 2l Lyn 3U SH2 Rec 2a b 3Y g Y pY Rec 1a b Y pY take all branches, once each, in any order⬇⬇ g Y pY
Transphosphorylation of gamma by constitutive Lyn

Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,g~Y) -> Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,g~pY)

Lig 1l 2l Lyn 3U SH2 Rec 2a b 3Y g Y pY Rec 1a b Y pY g Y pY take all branches, once each, in any order⬇⬇
Lyn-receptor binding through SH2 domain

Rec(b~pY) + Lyn(U,SH2) <-> Rec(b~pY!1).Lyn(U,SH2!1)

Rec a b 1 ⬆⬇pY g Y pY Lyn U 1 ⬆⬇SH2
Transphosphorylation of beta by SH2-bound Lyn

Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,b~Y) -> Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,b~pY)

Lig 1l 2l Lyn U 3SH2 Rec 2a b 3pY g Y pY Rec 1a b Y pY take all branches, once each, in any order⬇⬇ g Y pY
Transphosphorylation of gamma by SH2-bound Lyn

Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,g~Y) -> Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,g~pY)

Lig 1l 2l Lyn U 3SH2 Rec 2a b 3pY g Y pY Rec 1a b Y pY g Y pY take all branches, once each, in any order⬇⬇
Syk-receptor binding through tSH2 domain

Rec(g~pY) + Syk(tSH2) <-> Rec(g~pY!1).Syk(tSH2!1)

Rec a b Y pY g 1 ⬆⬇pY Syk 1 ⬆⬇tSH2 l Y pY a Y pY
Transphosphorylation of Syk by constitutive Lyn

Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,g~pY!4).Syk(tSH2!4,l~Y) -> Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,g~pY!4).Syk(tSH2!4,l~pY)

Lig 1l 2l Lyn 3U SH2 Rec 2a b 3Y g Y pY Rec 1a b Y pY g 4pY Syk 4tSH2 l Y pY take all branches, once each, in any order⬇⬇ a Y pY
Transphosphorylation of Syk by SH2-bound Lyn

Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,l~Y) -> Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,l~pY)

Lig 1l 2l Lyn U 3SH2 Rec 2a b 3pY g Y pY Rec 1a b Y pY g 4pY Syk 4tSH2 l Y pY take all branches, once each, in any order⬇⬇ a Y pY
Transphosphorylation of Syk by Syk not phosphorylated on aloop

Lig(l!1,l!2).Syk(tSH2!3,a~Y).Rec(a!2,g~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,a~Y) -> Lig(l!1,l!2).Syk(tSH2!3,a~Y).Rec(a!2,g~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,a~pY)

Lig 1l 2l Syk 3tSH2 l Y pY a Y Rec 2a b Y pY g 3pY Rec 1a b Y pY g 4pY Syk 4tSH2 l Y pY a Y pY take all branches, once each, in any order⬇⬇
Transphosphorylation of Syk by Syk phosphorylated on aloop

Lig(l!1,l!2).Syk(tSH2!3,a~pY).Rec(a!2,g~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,a~Y) -> Lig(l!1,l!2).Syk(tSH2!3,a~pY).Rec(a!2,g~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,a~pY)

Lig 1l 2l Syk 3tSH2 l Y pY a pY Rec 2a b Y pY g 3pY Rec 1a b Y pY g 4pY Syk 4tSH2 l Y pY a Y pY take all branches, once each, in any order⬇⬇
Dephosphorylation of Rec beta

Rec(b~pY) -> Rec(b~Y)

Rec a b Y pY take one or more branches, once each, in any order⬆⬆ g Y pY
Dephosphorylation of Rec gamma

Rec(g~pY) -> Rec(g~Y)

Rec a b Y pY g Y pY take one or more branches, once each, in any order⬆⬆
Dephosphorylation of Syk at membrane

Syk(tSH2!+,l~pY) -> Syk(tSH2!+,l~Y)

Syk tSH2 l Y pY take one or more branches, once each, in any order⬆⬆ a Y pY

Syk(tSH2!+,a~pY) -> Syk(tSH2!+,a~Y)

Syk tSH2 l Y pY a Y pY take one or more branches, once each, in any order⬆⬆
Dephosphorylation of Syk in cytosol

Syk(tSH2,l~pY) -> Syk(tSH2,l~Y)

Syk tSH2 l Y pY take one or more branches, once each, in any order⬆⬆ a Y pY

Syk(tSH2,a~pY) -> Syk(tSH2,a~Y)

Syk tSH2 l Y pY a Y pY take one or more branches, once each, in any order⬆⬆