Molecules

16 species

IGF1(rec)

IGF1 rec

Ins(rec)

Ins rec

IGF1R(lig,phos~U~P,int~N~Y)

IGF1R lig phos U P int N Y

InsR(lig,phos~U~P,int~N~Y)

InsR lig phos U P int N Y

IRS(phos~U~P,inh~N~Y)

IRS phos U P inh N Y

SOS(act~N~Y,inh~N~Y)

SOS act N Y inh N Y

Ras(gtp~N~Y)

Ras gtp N Y

Raf(phos~U~P,inh~N~Y)

Raf phos U P inh N Y

MEK(phos~U~P,inh~N~Y)

MEK phos U P inh N Y

PI3K(act~N~Y)

PI3K act N Y

PDK1(act~N~Y)

PDK1 act N Y

TSC2(phos~U~P)

TSC2 phos U P

mTOR(act~N~Y)

mTOR act N Y

Akt(phos~U~P)

Akt phos U P

RPS6K(phos~U~P)

RPS6K phos U P

ERK(phos~U~P)

ERK phos U P

Species

IGF1(rec)

IGF1 rec

Ins(rec)

Ins rec

IGF1R(lig,phos~U,int~N)

IGF1R lig phos U int N

InsR(lig,phos~U,int~N)

InsR lig phos U int N

IRS(phos~U,inh~N)

IRS phos U inh N

SOS(act~N,inh~N)

SOS act N inh N

Ras(gtp~N)

Ras gtp N

Raf(phos~U,inh~N)

Raf phos U inh N

MEK(phos~U,inh~N)

MEK phos U inh N

PI3K(act~N)

PI3K act N

PDK1(act~N)

PDK1 act N

TSC2(phos~U)

TSC2 phos U

mTOR(act~N)

mTOR act N

Akt(phos~U)

Akt phos U

RPS6K(phos~U)

RPS6K phos U

ERK(phos~U)

ERK phos U

Observables

IGF1R(int~N,phos~P)

IGF1R lig phos P int N

InsR(int~N,phos~P))

InsR lig phos P int N

Akt(phos~P)

Akt phos P

RPS6K(phos~P)

RPS6K phos P

ERK(phos~P)

ERK phos P

Reaction Rules

Initial ligand-receptor binding

IGF1(rec) + IGF1R(lig,int~N,phos~U) <-> IGF1(rec!1).IGF1R(lig!1,int~N,phos~U)

IGF1 1 ⬆⬇rec IGF1R 1 ⬆⬇lig phos U int N

IGF1R(lig!+,int~N,phos~U) -> IGF1R(lig!+,int~N,phos~P)

IGF1R lig phos U P take all branches, once each, in any order⬇⬇ int N

IGF1R(lig!+,int~N,phos~P) -> IGF1R(lig,int~N,phos~U)

IGF1R lig phos U P take one or more branches, once each, in any order⬆⬆ int N

Ins(rec) + InsR(lig,int~N,phos~U) <-> Ins(rec!1).InsR(lig!1,int~N,phos~U)

Ins 1 ⬆⬇rec InsR 1 ⬆⬇lig phos U int N

InsR(lig!+,int~N,phos~U) -> InsR(lig!+,int~N,phos~P)

InsR lig phos U P take all branches, once each, in any order⬇⬇ int N

InsR(lig!+,int~N,phos~P) -> InsR(lig,int~N,phos~U)

InsR lig phos U P take one or more branches, once each, in any order⬆⬆ int N
pReceptor-IRS binding and activation

IGF1R(int~N,phos~P) + IRS(inh~N,phos~U) -> IGF1R(int~N,phos~P) + IRS(inh~N,phos~P)

IGF1R lig phos P int N IRS phos U P take all branches, once each, in any order⬇⬇ inh N

InsR(int~N,phos~P) + IRS(inh~N,phos~U) -> InsR(int~N,phos~P) + IRS(inh~N,phos~P)

InsR lig phos P int N IRS phos U P take all branches, once each, in any order⬇⬇ inh N
pReceptor-SOS binding and activation

IGF1R(int~N,phos~P) + SOS(inh~N,act~N) -> IGF1R(int~N,phos~P) + SOS(inh~N,act~Y)

IGF1R lig phos P int N SOS act N Y take all branches, once each, in any order⬇⬇ inh N

InsR(int~N,phos~P) + SOS(inh~N,act~N) -> InsR(int~N,phos~P) + SOS(inh~N,act~Y)

InsR lig phos P int N SOS act N Y take all branches, once each, in any order⬇⬇ inh N
SOS activation by IRS1

IRS(inh~N,phos~P) + SOS(inh~N,act~N) -> IRS(inh~N,phos~P) + SOS(inh~N,act~Y)

IRS phos P inh N SOS act N Y take all branches, once each, in any order⬇⬇ inh N
Ras activation by SOS

SOS(inh~N,act~Y) + Ras(gtp~N) -> SOS(inh~N,act~Y) + Ras(gtp~Y)

SOS act Y inh N Ras gtp N Y take all branches, once each, in any order⬇⬇
Raf activation by Ras

Ras(gtp~Y) + Raf(inh~N,phos~U) -> Ras(gtp~Y) + Raf(inh~N,phos~P)

Ras gtp Y Raf phos U P take all branches, once each, in any order⬇⬇ inh N
MEK activation by Raf

Raf(inh~N,phos~P) + MEK(inh~N,phos~U) -> Raf(inh~N,phos~P) + MEK(inh~N,phos~P)

Raf phos P inh N MEK phos U P take all branches, once each, in any order⬇⬇ inh N
ERK activation by MEK

MEK(inh~N,phos~P) + ERK(phos~U) -> MEK(inh~N,phos~P) + ERK(phos~P)

MEK phos P inh N ERK phos U P take all branches, once each, in any order⬇⬇
PI3K activation by IRS1

IRS(inh~N,phos~P) + PI3K(act~N) -> IRS(inh~N,phos~P) + PI3K(act~Y)

IRS phos P inh N PI3K act N Y take all branches, once each, in any order⬇⬇
PDK1 activation PI3K

PI3K(act~Y) + PDK1(act~N) -> PI3K(act~Y) + PDK1(act~Y)

PI3K act Y PDK1 act N Y take all branches, once each, in any order⬇⬇
Akt activation by PDK1

PDK1(act~Y) + Akt(phos~U) -> PDK1(act~Y) + Akt(phos~P)

PDK1 act Y Akt phos U P take all branches, once each, in any order⬇⬇
TSC2 inactivation by Akt

Akt(phos~P) + TSC2(phos~U) -> Akt(phos~P) + TSC2(phos~P)

Akt phos P TSC2 phos U P take all branches, once each, in any order⬇⬇
mTOR activation by inactive TSC2

TSC2(phos~P) + mTOR(act~N) -> TSC2(phos~P) + mTOR(act~Y)

TSC2 phos P mTOR act N Y take all branches, once each, in any order⬇⬇
RPS6K activation by mTOR

mTOR(act~Y) + RPS6K(phos~U) -> mTOR(act~Y) + RPS6K(phos~P)

mTOR act Y RPS6K phos U P take all branches, once each, in any order⬇⬇
De-phosphorylation (-P) events

IRS(phos~P) -> IRS(phos~U)

IRS phos U P take one or more branches, once each, in any order⬆⬆ inh N Y

SOS(act~Y) -> SOS(act~N)

SOS act N Y take one or more branches, once each, in any order⬆⬆ inh N Y

Ras(gtp~Y) -> Ras(gtp~N)

Ras gtp N Y take one or more branches, once each, in any order⬆⬆

Raf(phos~P) -> Raf(phos~U)

Raf phos U P take one or more branches, once each, in any order⬆⬆ inh N Y

MEK(phos~P) -> MEK(phos~U)

MEK phos U P take one or more branches, once each, in any order⬆⬆ inh N Y

PI3K(act~Y) -> PI3K(act~N)

PI3K act N Y take one or more branches, once each, in any order⬆⬆

PDK1(act~Y) -> PDK1(act~N)

PDK1 act N Y take one or more branches, once each, in any order⬆⬆

TSC2(phos~P) -> TSC2(phos~U)

TSC2 phos U P take one or more branches, once each, in any order⬆⬆

mTOR(act~Y) -> mTOR(act~N)

mTOR act N Y take one or more branches, once each, in any order⬆⬆

Akt(phos~P) -> Akt(phos~U)

Akt phos U P take one or more branches, once each, in any order⬆⬆

RPS6K(phos~P) -> RPS6K(phos~U)

RPS6K phos U P take one or more branches, once each, in any order⬆⬆

ERK(phos~P) -> ERK(phos~U)

ERK phos U P take one or more branches, once each, in any order⬆⬆
### Negative feedbacksSOS inactivation by pERK

ERK(phos~P) + SOS(inh~N,act~N) -> ERK(phos~P) + SOS(inh~Y,act~N)

ERK phos P SOS act N inh N Y take all branches, once each, in any order⬇⬇
MEK inactivation by pERK

ERK(phos~P) + MEK(inh~N,phos~U) -> ERK(phos~P) + MEK(inh~Y,phos~U)

ERK phos P MEK phos U inh N Y take all branches, once each, in any order⬇⬇
IRS1 inhibition by pRPS6K

RPS6K(phos~P) + IRS(inh~N,phos~U) -> RPS6K(phos~P) + IRS(inh~Y,phos~U)

RPS6K phos P IRS phos U inh N Y take all branches, once each, in any order⬇⬇
Raf inactivation by pAkt

Akt(phos~P) + Raf(inh~N,phos~U) -> Akt(phos~P) + Raf(inh~Y,phos~U)

Akt phos P Raf phos U inh N Y take all branches, once each, in any order⬇⬇
IRS inactivation by pERK

ERK(phos~P) + IRS(inh~N,phos~U) -> ERK(phos~P) + IRS(inh~Y,phos~U)

ERK phos P IRS phos U inh N Y take all branches, once each, in any order⬇⬇
Akt inactivation by pERK

ERK(phos~P) + Akt(phos~P) -> ERK(phos~P) + Akt(phos~U)

ERK phos P Akt phos U P take one or more branches, once each, in any order⬆⬆
IRS inactivation by pAkt

Akt(phos~P) + IRS(inh~N,phos~U) -> Akt(phos~P) + IRS(inh~Y,phos~U)

Akt phos P IRS phos U inh N Y take all branches, once each, in any order⬇⬇
### Re-sensitization

IRS(inh~Y) -> IRS(inh~N)

IRS phos U P inh N Y take one or more branches, once each, in any order⬆⬆

SOS(inh~Y) -> SOS(inh~N)

SOS act N Y inh N Y take one or more branches, once each, in any order⬆⬆

Raf(inh~Y) -> Raf(inh~N)

Raf phos U P inh N Y take one or more branches, once each, in any order⬆⬆

MEK(inh~Y) -> MEK(inh~N)

MEK phos U P inh N Y take one or more branches, once each, in any order⬆⬆
# Recepter recycling

IGF1R(lig!+,int~N,phos~P) -> IGF1R(lig!+,int~Y,phos~P)

IGF1R lig phos P int N Y take all branches, once each, in any order⬇⬇

InsR(lig!+,int~N,phos~P) -> InsR(lig!+,int~Y,phos~P)

InsR lig phos P int N Y take all branches, once each, in any order⬇⬇