Saved BNGL Diagrams

Molecules

AXIN(rgs,gid,b,e)

GSK3b(a)

APC(a15,a20~U~P,s)

bCat(s33s37~U~P,s45~U~P,ARM34,ARM59,ss~l~d)

CK1a(e)

dead()

I()

Species

bCat(s33s37~U,s45~U,,ARM34,ARM59,ss~l)

APC(a15,a20~U,s)

AXIN(rgs,gid,b,e)

GSK3b(a)

CK1a(e)

I()

dead()

Observables

bcat_tot bCat(ss~l)

bCat_pS45 bCat(s45~P,ss~l)

bCat_pS33S37 bCat(s33s37~P,ss~l)

APC_p20a APC(a20~P!?)

BCat_Axin bCat(ARM34!1,ss~l).AXIN(b!1)

Reaction Rules

bCat(ARM59,ss~l) + APC(a15) <-> bCat(ARM59!1,ss~l).APC(a15!1)

bCat(ARM59,ARM34!1,ss~l).AXIN(b!1,rgs!2).APC(a15,s!2) <-> bCat(ARM59!3,ARM34!1,ss~l).AXIN(b!1,rgs!2).APC(a15!3,s!2)

bCat(ARM59,ARM34!1).APC(a15,a20~P!1) <-> bCat(ARM59!2,ARM34!1).APC(a15!2,a20~P!1)

bCat(ARM34,ss~l) + APC(a20~P) <-> bCat(ARM34!1,ss~l).APC(a20~P!1)

bCat(ARM59!1,ARM34).APC(a15!1,a20~P) <-> bCat(ARM59!1,ARM34!2).APC(a15!1,a20~P!2)

bCat(ARM34,ss~l) + AXIN(b) <-> bCat(ARM34!1,ss~l).AXIN(b!1)

bCat(ARM59!1,ARM34,ss~l).AXIN(b,rgs!2).APC(a15!1,s!2) <-> bCat(ARM59!1,ARM34!3,ss~l).AXIN(b!3,rgs!2).APC(a15!1,s!2)

APC(a20~U,s) + AXIN(rgs) <-> APC(a20~U,s!1).AXIN(rgs!1)

APC(a20~P,s) + AXIN(rgs) <-> APC(a20~P,s!1).AXIN(rgs!1)

APC(a20~P!+,s) + AXIN(rgs) <-> APC(a20~P!+,s!1).AXIN(rgs!1)

APC(a15!1,a20~U,s).bCat(ARM59!1,ARM34!2,ss~l).AXIN(rgs,b!2) <-> APC(a15!1,a20~U,s!3).bCat(ARM59!1,ARM34!2,ss~l).AXIN(rgs!3,b!2)

APC(a15!1,a20~P,s).bCat(ARM59!1,ARM34!2,ss~l).AXIN(rgs,b!2) <-> APC(a15!1,a20~P,s!3).bCat(ARM59!1,ARM34!2,ss~l).AXIN(rgs!3,b!2)

APC(a15!1,a20~P!+,s).bCat(ARM59!1,ARM34!2,ss~l).AXIN(rgs,b!2) <-> APC(a15!1,a20~P!+,s!3).bCat(ARM59!1,ARM34!2,ss~l).AXIN(rgs!3,b!2)

GSK3b(a) + AXIN(gid) <-> GSK3b(a!1).AXIN(gid!1)

AXIN(e) + CK1a(e) <-> AXIN(e!1).CK1a(e!1)

bCat(s45~U,ss~l).CK1a() -> bCat(s45~P,ss~l).CK1a()

bCat(s33s37~U,s45~P,ss~l).GSK3b() -> bCat(s33s37~P,s45~P,ss~l).GSK3b()

APC(a20~U).GSK3b() -> APC(a20~P).GSK3b()

bCat(s45~P,ss~l) -> bCat(s45~U,ss~l)

bCat(s33s37~P,ss~l) -> bCat(s33s37~U,ss~l)

APC(a20~P).AXIN() -> APC(a20~U).AXIN()

I() -> I() + bCat(s33s37~U,s45~U,ARM59,ARM34,ss~l)

bCat(s33s37~U,ss~l) -> bCat(s33s37~U,ss~d)

bCat(s33s37~P,ss~l) -> bCat(s33s37~P,ss~d)

bCat(ARM59!1,ss~d).APC(a15!1) -> bCat(ARM59,ss~d) + APC(a15)

bCat(ARM59!1,ss~d).APC(a15!1) -> bCat(ARM59,ss~d).APC(a15)

bCat(ARM34!1,ss~d).APC(a20~P!1) -> bCat(ARM34,ss~d) + APC(a20~P)

bCat(ARM34!1,ss~d).AXIN(b!1) -> bCat(ARM34,ss~d) + AXIN(b)

bCat(ARM34!1,ss~d).AXIN(b!1) -> bCat(ARM34,ss~d).AXIN(b)