Molecules

MPF(B,DP~U~P,NE~P~U~P2,NE2~U~P,CR~U~P,L~C~N,S~no~Ki~Su)

MPF B DP U P NE P U P2 NE2 U P CR U P L C N S no Ki Su

CDC25(B,L~C~N,S~no~Ph~Su~Sq,SD~U~P,AP~U~P~D,SE~U~P,T~A~B~C)

CDC25 B L C N S no Ph Su Sq SD U P AP U P D SE U P T A B C

WEE1(B,L~N,DP~U~P~M,SP~U~P,S~no~Ki~Su)

WEE1 B L N DP U P M SP U P S no Ki Su

MYT1(B,S~no~Ki~Su,L~C)

MYT1 B S no Ki Su L C

PIN1(B,L~N,S~no)

PIN1 B L N S no

PP2A(B,L~C~N,S~no~Ph)

PP2A B L C N S no Ph

ProX(B,S~no~Ki,L~C)

ProX B S no Ki L C

E33(B,Sq~N~Y,S~no,L~C~N)

E33 B Sq N Y S no L C N

CHK1(B,AP~U~P,S~no~Ki~Su,L~C~N)

CHK1 B AP U P S no Ki Su L C N

CHK2(B,L~C~N,S~no~Ki~Su,AP~U~P)

CHK2 B L C N S no Ki Su AP U P

CRM1(L~M)

CRM1 L M

Importin(L~M,CdcFI~Y~N)

Importin L M CdcFI Y N

DUM(L~C~N~M)

DUM L C N M

PLK1(B,L~C~N,S~no~Ki~Su,AP~U~P)

PLK1 B L C N S no Ki Su AP U P

H3(B,L~C~N,S~no~Su,AP~U~P)

H3 B L C N S no Su AP U P

Species

MPF(B,DP~U,NE~U,NE2~U,CR~P,L~C,S~no)

MPF B DP U NE U NE2 U CR P L C S no

CDC25(B,L~N,S~no,SD~U,AP~P,SE~U,T~A)

CDC25 B L N S no SD U AP P SE U T A

CDC25(B,L~C,S~no,SD~U,AP~U,SE~U,T~B)

CDC25 B L C S no SD U AP U SE U T B

CDC25(B,S~no,SD~U,AP~U,SE~U,T~C,L~C)

CDC25 B S no SD U AP U SE U T C L C

WEE1(B,L~N,DP~U,SP~U,S~no)

WEE1 B L N DP U SP U S no

MYT1(B,S~no,L~C)

MYT1 B S no L C

PIN1(B,L~N,S~no)

PIN1 B L N S no

PP2A(B,S~no,L~C)

PP2A B S no L C

ProX(B,S~no,L~C)

ProX B S no L C

E33(B,Sq~N,S~no,L~C)

E33 B Sq N S no L C

CHK1(B,AP~U,S~no,L~C)

CHK1 B AP U S no L C

CHK2(B,L~N,S~no,AP~U)

CHK2 B L N S no AP U

CHK1(B,AP~P,S~no,L~C)

CHK1 B AP P S no L C

CHK1(B,AP~P,S~no,L~N)

CHK1 B AP P S no L N

CHK2(B,L~N,S~no,AP~P)

CHK2 B L N S no AP P

CRM1(L~M)

CRM1 L M

Importin(L~M,CdcFI~N)

Importin L M CdcFI N

DUM(L~C)

DUM L C

DUM(L~N)

DUM L N

DUM(L~M)

DUM L M

PP2A(B,L~N,S~no)

PP2A B L N S no

E33(B,Sq~N,S~no,L~N)

E33 B Sq N S no L N

PLK1(B,L~C,S~no,AP~U)

PLK1 B L C S no AP U

PLK1(B,L~N,S~no,AP~U)

PLK1 B L N S no AP U

H3(B,L~N,S~no,AP~U)

H3 B L N S no AP U

Observables

The observables were set according to each figure.

H3(AP~P)

H3 B L C N S no Su AP P

WEE1()

WEE1 B L N DP U P M SP U P S no Ki Su

WEE1(DP~U)

WEE1 B L N DP U SP U P S no Ki Su

WEE1(SP~P,DP~U)

WEE1 B L N DP U SP P S no Ki Su

MYT1()

MYT1 B S no Ki Su L C

PLK1()

PLK1 B L C N S no Ki Su AP U P

PLK1(L~C,AP~P)

PLK1 B L C S no Ki Su AP P

PLK1(L~N,AP~P)

PLK1 B L N S no Ki Su AP P

PLK1(AP~P)

PLK1 B L C N S no Ki Su AP P

CDC25(T~A)

CDC25 B L C N S no Ph Su Sq SD U P AP U P D SE U P T A

CDC25(T~A,AP~P,S~no)

CDC25 B L C N S no SD U P AP P SE U P T A

CDC25(T~A,B!1).E33(B!1,Sq~Y)

CDC25 1B L C N S no Ph Su Sq SD U P AP U P D SE U P T A E33 1B Sq Y S no L C N

CDC25(T~A,AP~P,S~no,L~N)

CDC25 B L N S no SD U P AP P SE U P T A

CDC25(T~B)

CDC25 B L C N S no Ph Su Sq SD U P AP U P D SE U P T B

CDC25(T~B,AP~P,S~no)

CDC25 B L C N S no SD U P AP P SE U P T B

CDC25(B!1,T~B).E33(B!1,Sq~Y)

CDC25 1B L C N S no Ph Su Sq SD U P AP U P D SE U P T B E33 1B Sq Y S no L C N

CDC25(T~B,AP~P,S~no,L~N)

CDC25 B L N S no SD U P AP P SE U P T B

CDC25(T~B,AP~P,S~no,L~C)

CDC25 B L C S no SD U P AP P SE U P T B

CDC25(T~C)

CDC25 B L C N S no Ph Su Sq SD U P AP U P D SE U P T C
Molecules Act_CDC25c CDC25(T~*,AP~P,S~no,L~C)Molecules Act_CDC25c CDC25(AP~P,S~no,L~C)

CDC25(T~C,AP~P,S~no,L~C)

CDC25 B L C S no SD U P AP P SE U P T C

CDC25(T~C,AP~P,L~N)

CDC25 B L N S no Ph Su Sq SD U P AP P SE U P T C

CDC25(B!1,T~C).E33(B!1,Sq~Y)

CDC25 1B L C N S no Ph Su Sq SD U P AP U P D SE U P T C E33 1B Sq Y S no L C N

MPF(L~C,DP~U)

MPF B DP U NE P U P2 NE2 U P CR U P L C S no Ki Su

MPF()

MPF B DP U P NE P U P2 NE2 U P CR U P L C N S no Ki Su

MPF(L~C)

MPF B DP U P NE P U P2 NE2 U P CR U P L C S no Ki Su

MPF(L~N)

MPF B DP U P NE P U P2 NE2 U P CR U P L N S no Ki Su

MPF(L~N,DP~U)

MPF B DP U NE P U P2 NE2 U P CR U P L N S no Ki Su

CHK1(AP~P,L~C)

CHK1 B AP P S no Ki Su L C

CHK1(AP~P,L~N)

CHK1 B AP P S no Ki Su L N

CHK2(AP~P,L~C)

CHK2 B L C S no Ki Su AP P

CHK2(AP~P,L~N)

CHK2 B L N S no Ki Su AP P

Reaction Rules

# PROTEIN CREATION RULES ### PROTEIN DESTRUCTION RULES ##DUM(L~C) + MPF(B,DP~U~P,S~no) -> DUM(L~C) kMPFout# SPONTANEOUS ACTIVATION OF CDC25b ##

CDC25(B,L~C,S~no,AP~U,T~B) -> CDC25(B,L~C,S~no,AP~P,T~B)

CDC25 B L C S no SD U P AP U P take all branches, once each, in any order⬇⬇ SE U P T B

CDC25(B,L~C,S~no,AP~D,T~B) -> CDC25(B,L~C,S~no,AP~P,T~B)

CDC25 B L C S no SD U P AP P D take one or more branches, once each, in any order⬆⬆ SE U P T B

CDC25(B,L~N,S~no,AP~U,T~B) -> CDC25(B,L~N,S~no,AP~P,T~B)

CDC25 B L N S no SD U P AP U P take all branches, once each, in any order⬇⬇ SE U P T B

CDC25(B,L~N,S~no,AP~D,T~B) -> CDC25(B,L~N,S~no,AP~P,T~B)

CDC25 B L N S no SD U P AP P D take one or more branches, once each, in any order⬆⬆ SE U P T B
# ACTIVATION OF Cdc25b BY CDC25a ##

CDC25(B,L~C,S~no,AP~U,T~B) + CDC25(B,L~C,S~no,AP~P,T~A) -> CDC25(B,L~C,S~no,AP~P,T~B) + CDC25(B,L~C,S~no,AP~P,T~A)

CDC25 B L C S no SD U P AP U P take all branches, once each, in any order⬇⬇ SE U P T B CDC25 B L C S no SD U P AP P SE U P T A

CDC25(B,L~C,S~no,AP~D,T~B) + CDC25(B,L~C,S~no,AP~P,T~A) -> CDC25(B,L~C,S~no,AP~P,T~B) + CDC25(B,L~C,S~no,AP~P,T~A)

CDC25 B L C S no SD U P AP P D take one or more branches, once each, in any order⬆⬆ SE U P T B CDC25 B L C S no SD U P AP P SE U P T A

CDC25(B,L~N,S~no,AP~U,T~B) + CDC25(B,L~N,S~no,AP~P,T~A) -> CDC25(B,L~N,S~no,AP~P,T~B) + CDC25(B,L~N,S~no,AP~P,T~A)

CDC25 B L N S no SD U P AP U P take all branches, once each, in any order⬇⬇ SE U P T B CDC25 B L N S no SD U P AP P SE U P T A

CDC25(B,L~N,S~no,AP~D,T~B) + CDC25(B,L~N,S~no,AP~P,T~A) -> CDC25(B,L~N,S~no,AP~P,T~B) + CDC25(B,L~N,S~no,AP~P,T~A)

CDC25 B L N S no SD U P AP P D take one or more branches, once each, in any order⬆⬆ SE U P T B CDC25 B L N S no SD U P AP P SE U P T A
# ACTIVATION OF MPF BY Cdc25's ##

MPF(B,DP~P,S~no,L~C) + CDC25(B,L~C,S~no,AP~P) <-> MPF(B!0,DP~P,S~Su,L~C).CDC25(B!0,L~C,S~Ph,AP~P)

MPF 0 ⬆⬇B DP P NE P U P2 NE2 U P CR U P L C S no Su take all branches, once each, in any order⬇⬇ CDC25 0 ⬆⬇B L C S no Ph take all branches, once each, in any order⬇⬇ SD U P AP P SE U P T A B C

MPF(B!0,DP~P,S~Su,L~C).CDC25(B!0,L~C,S~Ph,AP~P) -> MPF(B,DP~U,S~no,L~C) + CDC25(B,L~C,S~no,AP~P)

MPF 0 ⬆B DP U P take one or more branches, once each, in any order⬆⬆ NE P U P2 NE2 U P CR U P L C S no Su take one or more branches, once each, in any order⬆⬆ CDC25 0 ⬆B L C S no Ph take one or more branches, once each, in any order⬆⬆ SD U P AP P SE U P T A B C

MPF(B,DP~P,S~no,L~N) + CDC25(B,L~N,S~no,AP~P) <-> MPF(B!0,DP~P,S~Su,L~N).CDC25(B!0,S~Ph,AP~P,L~N)

MPF 0 ⬆⬇B DP P NE P U P2 NE2 U P CR U P L N S no Su take all branches, once each, in any order⬇⬇ CDC25 0 ⬆⬇B L N S no Ph take all branches, once each, in any order⬇⬇ SD U P AP P SE U P T A B C

MPF(B!0,DP~P,S~Su,L~N).CDC25(B!0,S~Ph,AP~P,L~N) -> MPF(B,DP~U,S~no,L~N) + CDC25(B,L~N,S~no,AP~P)

MPF 0 ⬆B DP U P take one or more branches, once each, in any order⬆⬆ NE P U P2 NE2 U P CR U P L N S no Su take one or more branches, once each, in any order⬆⬆ CDC25 0 ⬆B L N S no Ph take one or more branches, once each, in any order⬆⬆ SD U P AP P SE U P T A B C
# ACTIVATION OF MPF BY Cdc25c ##

MPF(B,DP~P,S~no,L~C) + CDC25(B,L~C,S~no,AP~P,T~C) <-> MPF(B!0,DP~P,S~Su,L~C).CDC25(B!0,L~C,S~Ph,AP~P,T~C)

MPF 0 ⬆⬇B DP P NE P U P2 NE2 U P CR U P L C S no Su take all branches, once each, in any order⬇⬇ CDC25 0 ⬆⬇B L C S no Ph take all branches, once each, in any order⬇⬇ SD U P AP P SE U P T C

MPF(B!0,DP~P,S~Su,L~C).CDC25(B!0,L~C,S~Ph,AP~P,T~C) -> MPF(B,DP~U,S~no,L~C) + CDC25(B,L~C,S~no,AP~P,T~C)

MPF 0 ⬆B DP U P take one or more branches, once each, in any order⬆⬆ NE P U P2 NE2 U P CR U P L C S no Su take one or more branches, once each, in any order⬆⬆ CDC25 0 ⬆B L C S no Ph take one or more branches, once each, in any order⬆⬆ SD U P AP P SE U P T C

MPF(B,DP~P,S~no,L~N) + CDC25(B,L~N,S~no,AP~P,T~C) <-> MPF(B!0,DP~P,S~Su,L~N).CDC25(B!0,S~Ph,AP~P,T~C,L~N)

MPF 0 ⬆⬇B DP P NE P U P2 NE2 U P CR U P L N S no Su take all branches, once each, in any order⬇⬇ CDC25 0 ⬆⬇B L N S no Ph take all branches, once each, in any order⬇⬇ SD U P AP P SE U P T C

MPF(B!0,DP~P,S~Su,L~N).CDC25(B!0,S~Ph,AP~P,L~N,T~C) -> MPF(B,DP~U,S~no,L~N) + CDC25(B,L~N,S~no,AP~P,T~C)

MPF 0 ⬆B DP U P take one or more branches, once each, in any order⬆⬆ NE P U P2 NE2 U P CR U P L N S no Su take one or more branches, once each, in any order⬆⬆ CDC25 0 ⬆B L N S no Ph take one or more branches, once each, in any order⬆⬆ SD U P AP P SE U P T C
# SPONTANEOUS DEACTIVATION OF CDC25's ##

CDC25(B,L~C,S~no,T~C,AP~P) + DUM(L~C) -> CDC25(B,L~C,S~no,T~C,AP~U) + DUM(L~C)

CDC25 B L C S no SD U P AP U P take one or more branches, once each, in any order⬆⬆ SE U P T C DUM L C

CDC25(B,L~N,S~no,T~C,AP~P) + DUM(L~N) -> CDC25(B,S~no,T~C,AP~U,L~N) + DUM(L~N)

CDC25 B L N S no SD U P AP U P take one or more branches, once each, in any order⬆⬆ SE U P T C DUM L N
# DEGRADATION OF SEQUESTERED CDC25's ### ACTIVATION OF Cdc25c BY MPF ##

MPF(B,L~N,DP~U,S~no) + CDC25(B,L~N,S~no,AP~U,T~C) <-> MPF(B!0,L~N,DP~U,S~Ki).CDC25(B!0,L~N,S~Su,AP~U,T~C)

MPF 0 ⬆⬇B DP U NE P U P2 NE2 U P CR U P L N S no Ki take all branches, once each, in any order⬇⬇ CDC25 0 ⬆⬇B L N S no Su take all branches, once each, in any order⬇⬇ SD U P AP U SE U P T C

MPF(B!0,L~N,DP~U,S~Ki).CDC25(B!0,L~N,S~Su,AP~U,T~C) -> MPF(B,L~N,DP~U,S~no) + CDC25(B,L~N,S~no,AP~P,T~C)

MPF 0 ⬆B DP U NE P U P2 NE2 U P CR U P L N S no Ki take one or more branches, once each, in any order⬆⬆ CDC25 0 ⬆B L N S no Su take one or more branches, once each, in any order⬆⬆ SD U P AP U P take all branches, once each, in any order⬇⬇ SE U P T C

MPF(B,L~C,DP~U,S~no) + CDC25(B,L~C,S~no,AP~U,T~C) <-> MPF(B!0,L~C,DP~U,S~Ki).CDC25(B!0,L~C,S~Su,AP~U,T~C)

MPF 0 ⬆⬇B DP U NE P U P2 NE2 U P CR U P L C S no Ki take all branches, once each, in any order⬇⬇ CDC25 0 ⬆⬇B L C S no Su take all branches, once each, in any order⬇⬇ SD U P AP U SE U P T C
MPF(B!0,L~C,DP~U,S~Ki).CDC25(B!0,L~C,S~Su,AP~U,T~C)->MPF(B,L~C,DP~U,S~no)+CDC25(B,L~C,S~no,SD~*,AP~P,T~C) kCDCa

MPF(B!0,L~C,DP~U,S~Ki).CDC25(B!0,L~C,S~Su,AP~U,T~C) -> MPF(B,L~C,DP~U,S~no) + CDC25(B,L~C,S~no,AP~P,T~C)

MPF 0 ⬆B DP U NE P U P2 NE2 U P CR U P L C S no Ki take one or more branches, once each, in any order⬆⬆ CDC25 0 ⬆B L C S no Su take one or more branches, once each, in any order⬆⬆ SD U P AP U P take all branches, once each, in any order⬇⬇ SE U P T C
# DEACTIVATION OF Wee1 BY MPF ##

MPF(B,L~N,DP~U,S~no) + WEE1(B,L~N,DP~U,S~no) <-> MPF(B!0,L~N,DP~U,S~Ki).WEE1(B!0,L~N,DP~U,S~Su)

MPF 0 ⬆⬇B DP U NE P U P2 NE2 U P CR U P L N S no Ki take all branches, once each, in any order⬇⬇ WEE1 0 ⬆⬇B L N DP U SP U P S no Su take all branches, once each, in any order⬇⬇
# PIN1 Destruction of Wee1 ### DEACTIVATION OF MPF BY WEE1 AND pkMYT1 ### PHOSPHORYLATION OF MPF CYTOPLASMIC RETENTION SITE BY UNKOWN KINASE ### CHK1 AND CHK2 ENABLING SEQUESTERATION OF CDC25 ##

CHK1(B,AP~P,S~no,L~C) + CDC25(B,L~C,S~no,SD~U,SE~U) <-> CHK1(B!0,AP~P,S~Ki,L~C).CDC25(B!0,L~C,SD~U,SE~U,S~Su)

CHK1 0 ⬆⬇B AP P S no Ki take all branches, once each, in any order⬇⬇ L C CDC25 0 ⬆⬇B L C S no Su take all branches, once each, in any order⬇⬇ SD U AP U P D SE U T A B C

CHK1(B,AP~P,S~no,L~N) + CDC25(B,L~N,S~no,SD~U,SE~U) <-> CHK1(B!0,AP~P,S~Ki,L~N).CDC25(B!0,L~N,SD~U,SE~U,S~Su)

CHK1 0 ⬆⬇B AP P S no Ki take all branches, once each, in any order⬇⬇ L N CDC25 0 ⬆⬇B L N S no Su take all branches, once each, in any order⬇⬇ SD U AP U P D SE U T A B C

CHK1(B!0,AP~P,S~Ki,L~C).CDC25(B!0,L~C,SD~U,SE~U,S~Su) -> CHK1(B,AP~P,S~no,L~C) + CDC25(B,L~C,S~no,SD~U,SE~P)

CHK1 0 ⬆B AP P S no Ki take one or more branches, once each, in any order⬆⬆ L C CDC25 0 ⬆B L C S no Su take one or more branches, once each, in any order⬆⬆ SD U AP U P D SE U P take all branches, once each, in any order⬇⬇ T A B C

CHK1(B!0,AP~P,S~Ki,L~N).CDC25(B!0,L~N,SD~U,SE~U,S~Su) -> CHK1(B,AP~P,S~no,L~N) + CDC25(B,L~N,S~no,SD~U,SE~P)

CHK1 0 ⬆B AP P S no Ki take one or more branches, once each, in any order⬆⬆ L N CDC25 0 ⬆B L N S no Su take one or more branches, once each, in any order⬆⬆ SD U AP U P D SE U P take all branches, once each, in any order⬇⬇ T A B C

CHK2(B,L~C,S~no,AP~P) + CDC25(B,L~C,S~no,SD~U,SE~U) <-> CHK2(B!0,L~C,S~Ki,AP~P).CDC25(B!0,L~C,SD~U,SE~U,S~Su)

CHK2 0 ⬆⬇B L C S no Ki take all branches, once each, in any order⬇⬇ AP P CDC25 0 ⬆⬇B L C S no Su take all branches, once each, in any order⬇⬇ SD U AP U P D SE U T A B C

CHK2(B!0,L~C,S~Ki,AP~P).CDC25(B!0,L~C,SD~U,SE~U,S~Su) -> CHK2(B,L~C,S~no,AP~P) + CDC25(B,L~C,S~no,SD~U,SE~P)

CHK2 0 ⬆B L C S no Ki take one or more branches, once each, in any order⬆⬆ AP P CDC25 0 ⬆B L C S no Su take one or more branches, once each, in any order⬆⬆ SD U AP U P D SE U P take all branches, once each, in any order⬇⬇ T A B C

CHK2(B,L~N,S~no,AP~P) + CDC25(B,L~N,S~no,SD~U,SE~U) <-> CHK2(B!0,L~N,S~Ki,AP~P).CDC25(B!0,L~N,SD~U,SE~U,S~Su)

CHK2 0 ⬆⬇B L N S no Ki take all branches, once each, in any order⬇⬇ AP P CDC25 0 ⬆⬇B L N S no Su take all branches, once each, in any order⬇⬇ SD U AP U P D SE U T A B C

CHK2(B!0,L~N,S~Ki,AP~P).CDC25(B!0,L~N,SD~U,SE~U,S~Su) -> CHK2(B,L~N,S~no,AP~P) + CDC25(B,L~N,S~no,SD~U,SE~P)

CHK2 0 ⬆B L N S no Ki take one or more branches, once each, in any order⬆⬆ AP P CDC25 0 ⬆B L N S no Su take one or more branches, once each, in any order⬆⬆ SD U AP U P D SE U P take all branches, once each, in any order⬇⬇ T A B C
# SUPERACTIVATION OF Wee1 BY CHK1 ### PP2A REMOVING SEQUESTRATION ENABLING PHOSPHORYLATION FROM CDC25's ##

PP2A(B,L~C,S~no) + CDC25(B,L~C,S~no,SE~P) <-> PP2A(B!0,L~C,S~Ph).CDC25(B!0,L~C,S~Su,SE~P)

PP2A 0 ⬆⬇B L C S no Ph take all branches, once each, in any order⬇⬇ CDC25 0 ⬆⬇B L C S no Su take all branches, once each, in any order⬇⬇ SD U P AP U P D SE P T A B C

PP2A(B!0,L~C,S~Ph).CDC25(B!0,L~C,S~Su,SE~P) -> PP2A(B,L~C,S~no) + CDC25(B,L~C,S~no,SE~U)

PP2A 0 ⬆B L C S no Ph take one or more branches, once each, in any order⬆⬆ CDC25 0 ⬆B L C S no Su take one or more branches, once each, in any order⬆⬆ SD U P AP U P D SE U P take one or more branches, once each, in any order⬆⬆ T A B C

PP2A(B,L~N,S~no) + CDC25(B,L~N,S~no,SE~P) <-> PP2A(B!0,S~Ph,L~N).CDC25(B!0,L~N,S~Su,SE~P)

PP2A 0 ⬆⬇B L N S no Ph take all branches, once each, in any order⬇⬇ CDC25 0 ⬆⬇B L N S no Su take all branches, once each, in any order⬇⬇ SD U P AP U P D SE P T A B C

PP2A(B!0,S~Ph,L~N).CDC25(B!0,L~N,S~Su,SE~P) -> PP2A(B,L~N,S~no) + CDC25(B,L~N,S~no,SE~U)

PP2A 0 ⬆B L N S no Ph take one or more branches, once each, in any order⬆⬆ CDC25 0 ⬆B L N S no Su take one or more branches, once each, in any order⬆⬆ SD U P AP U P D SE U P take one or more branches, once each, in any order⬆⬆ T A B C
# PP2A DISRUPTING 14-3-3 SEQUESTERATION OF CDC25's ### PP2A REMOVING THE SEQUESTERATION DISABLING PHOSPHORYLATION FROM CDC25's ##

PP2A(B,L~C,S~no) + CDC25(B,L~C,S~no,SD~P) -> PP2A(B,L~C,S~no) + CDC25(B,L~C,S~no,SD~U)

PP2A B L C S no CDC25 B L C S no SD U P take one or more branches, once each, in any order⬆⬆ AP U P D SE U P T A B C

PP2A(B,L~C,S~no) + CDC25(B,L~N,S~no,SD~P) -> PP2A(B,L~C,S~no) + CDC25(B,L~N,S~no,SD~U)

PP2A B L C S no CDC25 B L N S no SD U P take one or more branches, once each, in any order⬆⬆ AP U P D SE U P T A B C
# 14-3-3 SEQUESTERING CDC25's ##

CDC25(B!0,L~C,SD~U,S~Sq,SE~P).E33(B!0,L~C,S~no,Sq~N) -> CDC25(B!0,L~C,SD~U,S~Sq,SE~P).E33(B!0,L~C,S~no,Sq~Y)

CDC25 0B L C S Sq SD U AP U P D SE P T A B C E33 0B Sq N Y take all branches, once each, in any order⬇⬇ S no L C

CDC25(B!0,L~N,SD~U,S~Sq,SE~P).E33(B!0,L~N,S~no,Sq~N) -> CDC25(B!0,L~C,SD~U,S~Sq,SE~P).E33(B!0,L~C,S~no,Sq~Y)

CDC25 0B L C N take one or more branches, once each, in any order⬆⬆ S Sq SD U AP U P D SE P T A B C E33 0B Sq N Y take all branches, once each, in any order⬇⬇ S no L C N take one or more branches, once each, in any order⬆⬆
# CHK1 AND CHK2 PHOSPHORYLATION OF CDC25a LEADING TO DEGRADATION ### CHK1 DEACTIVATION OF CDC25b ### NUCLEAR IMPORT AND EXPORT RULES ##

Importin(L~M) + E33(B,Sq~N,S~no,L~C) -> Importin(L~M) + E33(B,Sq~N,S~no,L~N)

Importin L M CdcFI Y N E33 B Sq N S no L C N take all branches, once each, in any order⬇⬇

DUM(L~M) + E33(B,Sq~N,S~no,L~N) -> DUM(L~M) + E33(B,Sq~N,S~no,L~C)

DUM L M E33 B Sq N S no L C N take one or more branches, once each, in any order⬆⬆

Importin(L~M) + CHK1(B,S~no,L~C) -> Importin(L~M) + CHK1(B,S~no,L~N)

Importin L M CdcFI Y N CHK1 B AP U P S no L C N take all branches, once each, in any order⬇⬇

DUM(L~M) + CHK1(B,S~no,L~N) -> DUM(L~M) + CHK1(B,S~no,L~C)

DUM L M CHK1 B AP U P S no L C N take one or more branches, once each, in any order⬆⬆

Importin(L~M) + CHK2(B,S~no,L~C) -> Importin(L~M) + CHK2(B,S~no,L~N)

Importin L M CdcFI Y N CHK2 B L C N take all branches, once each, in any order⬇⬇ S no AP U P

DUM(L~M) + CHK2(B,AP~P,S~no,L~N) -> DUM(L~M) + CHK2(B,AP~P,S~no,L~C)

DUM L M CHK2 B L C N take one or more branches, once each, in any order⬆⬆ S no AP P

Importin(L~M) + CDC25(B,L~C,S~no,T~A) -> Importin(L~M) + CDC25(B,L~N,S~no,T~A)

Importin L M CdcFI Y N CDC25 B L C N take all branches, once each, in any order⬇⬇ S no SD U P AP U P D SE U P T A

Importin(L~M) + CDC25(B,L~C,S~no,T~B) -> Importin(L~M) + CDC25(B,L~N,S~no,T~B)

Importin L M CdcFI Y N CDC25 B L C N take all branches, once each, in any order⬇⬇ S no SD U P AP U P D SE U P T B

CRM1(L~M) + CDC25(B,L~N,S~no,T~A) -> CRM1(L~M) + CDC25(B,L~C,S~no,T~A)

CRM1 L M CDC25 B L C N take one or more branches, once each, in any order⬆⬆ S no SD U P AP U P D SE U P T A

CRM1(L~M) + CDC25(B,L~N,S~no,T~B) -> CRM1(L~M) + CDC25(B,L~C,S~no,T~B)

CRM1 L M CDC25 B L C N take one or more branches, once each, in any order⬆⬆ S no SD U P AP U P D SE U P T B

Importin(L~M,CdcFI~N) + CDC25(B,L~C,S~no,T~C) -> Importin(L~M,CdcFI~N) + CDC25(B,L~N,S~no,,T~C)

Importin L M CdcFI N CDC25 B L C N take all branches, once each, in any order⬇⬇ S no SD U P AP U P D SE U P T C

Importin(L~M,CdcFI~Y) + CDC25(B,L~C,S~no,T~C) -> Importin(L~M,CdcFI~Y) + CDC25(B,L~N,S~no,T~C)

Importin L M CdcFI Y CDC25 B L C N take all branches, once each, in any order⬇⬇ S no SD U P AP U P D SE U P T C

CRM1(L~M) + CDC25(B,L~N,S~no,T~C,SD~P) -> CRM1(L~M) + CDC25(B,L~C,S~no,T~C,SD~P)

CRM1 L M CDC25 B L C N take one or more branches, once each, in any order⬆⬆ S no SD P AP U P D SE U P T C

CRM1(L~M) + CDC25(B,L~N,S~no,T~C,SD~U) -> CRM1(L~M) + CDC25(B,L~C,S~no,T~C,SD~U)

CRM1 L M CDC25 B L C N take one or more branches, once each, in any order⬆⬆ S no SD U AP U P D SE U P T C

PLK1(B,L~N,S~no) + CRM1(L~M) -> PLK1(B,L~C,S~no) + CRM1(L~M)

PLK1 B L C N take one or more branches, once each, in any order⬆⬆ S no AP U P CRM1 L M

PLK1(B,L~C,S~no) + Importin(L~M) -> PLK1(B,L~N,S~no) + Importin(L~M)

PLK1 B L C N take all branches, once each, in any order⬇⬇ S no AP U P Importin L M CdcFI Y N

CRM1(L~M) + MPF(B,L~N,NE~U,S~no) -> CRM1(L~M) + MPF(B,L~C,NE~U,S~no)

CRM1 L M MPF B DP U P NE U NE2 U P CR U P L C N take one or more branches, once each, in any order⬆⬆ S no

CRM1(L~M) + MPF(B,L~N,NE~P,S~no) -> CRM1(L~M) + MPF(B,L~C,NE~P,S~no)

CRM1 L M MPF B DP U P NE P NE2 U P CR U P L C N take one or more branches, once each, in any order⬆⬆ S no

Importin(L~M) + MPF(B,L~C,NE~U,NE2~U,CR~P,S~no) -> Importin(L~M) + MPF(B,L~N,NE~U,NE2~U,CR~P,S~no)

Importin L M CdcFI Y N MPF B DP U P NE U NE2 U CR P L C N take all branches, once each, in any order⬇⬇ S no

Importin(L~M) + MPF(B,L~C,NE~U,NE2~U,CR~U,S~no) -> Importin(L~M) + MPF(B,L~N,NE~U,NE2~U,CR~U,S~no)

Importin L M CdcFI Y N MPF B DP U P NE U NE2 U CR U L C N take all branches, once each, in any order⬇⬇ S no

Importin(L~M) + MPF(B,L~C,NE2~P,CR~P,S~no) -> Importin(L~M) + MPF(B,L~N,NE2~P,CR~P,S~no)

Importin L M CdcFI Y N MPF B DP U P NE P U P2 NE2 P CR P L C N take all branches, once each, in any order⬇⬇ S no

Importin(L~M) + MPF(B,L~C,NE2~P,CR~U,S~no) -> Importin(L~M) + MPF(B,L~N,NE2~P,CR~U,S~no)

Importin L M CdcFI Y N MPF B DP U P NE P U P2 NE2 P CR U L C N take all branches, once each, in any order⬇⬇ S no

Importin(L~M) + MPF(B,L~C,NE~P,NE2~U,CR~U,S~no) -> Importin(L~M) + MPF(B,L~N,NE~P,NE2~U,CR~U,S~no)

Importin L M CdcFI Y N MPF B DP U P NE P NE2 U CR U L C N take all branches, once each, in any order⬇⬇ S no
# MODIFICATION OF IMPORTIN FOR FAST TRANSPORT ##

Importin(L~M,CdcFI~N) + MPF(B,L~C,DP~U,CR~U,S~no) -> Importin(L~M,CdcFI~Y) + MPF(B,L~C,DP~U,CR~U,S~no)

Importin L M CdcFI Y N take one or more branches, once each, in any order⬆⬆ MPF B DP U NE P U P2 NE2 U P CR U L C S no

DUM(L~M) + Importin(L~M,CdcFI~Y) -> DUM(L~M) + Importin(L~M,CdcFI~N)

DUM L M Importin L M CdcFI Y N take all branches, once each, in any order⬇⬇
# CHK1 AND CHK2 SPONTANEOUS DEACTIVATION ##

CHK1(B,AP~P,S~no) + DUM(L~C) -> CHK1(B,AP~U,S~no) + DUM(L~C)

CHK1 B AP U P take one or more branches, once each, in any order⬆⬆ S no L C N DUM L C

CHK2(B,S~no,AP~P) + DUM(L~C) -> CHK2(B,S~no,AP~U) + DUM(L~C)

CHK2 B L C N S no AP U P take one or more branches, once each, in any order⬆⬆ DUM L C
# CHK1 AND CHK2 SPONTANEOUS ACTIVATION ##

CHK1(B,AP~U,S~no) -> CHK1(B,AP~P,S~no)

CHK1 B AP U P take all branches, once each, in any order⬇⬇ S no L C N

CHK2(B,S~no,AP~U) -> CHK2(B,S~no,AP~P)

CHK2 B L C N S no AP U P take all branches, once each, in any order⬇⬇
# REMOVAL OF MPF CYTOPLASMIC RETENTION PHOSPHORYLATION BY CDC25's ##

MPF(B,L~C,CR~P,S~no) + CDC25(B,L~C,S~no,AP~P) <-> MPF(B!0,L~C,CR~P,S~Su).CDC25(B!0,L~C,S~Ph,AP~P)

MPF 0 ⬆⬇B DP U P NE P U P2 NE2 U P CR P L C S no Su take all branches, once each, in any order⬇⬇ CDC25 0 ⬆⬇B L C S no Ph take all branches, once each, in any order⬇⬇ SD U P AP P SE U P T A B C

MPF(B!0,L~C,CR~P,S~Su).CDC25(B!0,L~C,S~Ph,AP~P) -> MPF(B,L~C,S~no,CR~U) + CDC25(B,L~C,S~no,AP~P)

MPF 0 ⬆B DP U P NE P U P2 NE2 U P CR U P take one or more branches, once each, in any order⬆⬆ L C S no Su take one or more branches, once each, in any order⬆⬆ CDC25 0 ⬆B L C S no Ph take one or more branches, once each, in any order⬆⬆ SD U P AP P SE U P T A B C
# Plk1 RELEASE OF CDC25's SEQUESTERATION ##

PLK1(B,L~C,S~no,AP~P) + CDC25(B,L~C,S~no,SD~U) <-> PLK1(B!0,L~C,AP~P,S~Ki).CDC25(B!0,L~C,S~Su,SD~U)

PLK1 0 ⬆⬇B L C S no Ki take all branches, once each, in any order⬇⬇ AP P CDC25 0 ⬆⬇B L C S no Su take all branches, once each, in any order⬇⬇ SD U AP U P D SE U P T A B C

PLK1(B!0,L~C,S~Ki,AP~P).CDC25(B!0,L~C,SD~U,S~Su) -> PLK1(B,L~C,S~no,AP~P) + CDC25(B,L~C,S~no,SD~P)

PLK1 0 ⬆B L C S no Ki take one or more branches, once each, in any order⬆⬆ AP P CDC25 0 ⬆B L C S no Su take one or more branches, once each, in any order⬆⬆ SD U P take all branches, once each, in any order⬇⬇ AP U P D SE U P T A B C

PLK1(B,L~N,S~no,AP~P) + CDC25(B,L~N,S~no,SD~U) <-> PLK1(B!0,L~N,AP~P,S~Ki).CDC25(B!0,L~N,S~Su,SD~U)

PLK1 0 ⬆⬇B L N S no Ki take all branches, once each, in any order⬇⬇ AP P CDC25 0 ⬆⬇B L N S no Su take all branches, once each, in any order⬇⬇ SD U AP U P D SE U P T A B C

PLK1(B!0,L~N,S~Ki,AP~P).CDC25(B!0,L~N,SD~U,S~Su) -> PLK1(B,L~N,S~no,AP~P) + CDC25(B,L~N,S~no,SD~P)

PLK1 0 ⬆B L N S no Ki take one or more branches, once each, in any order⬆⬆ AP P CDC25 0 ⬆B L N S no Su take one or more branches, once each, in any order⬆⬆ SD U P take all branches, once each, in any order⬇⬇ AP U P D SE U P T A B C
# Plk1 PHOSPHORYLATING MPF ##

PLK1(B,L~N,S~no,AP~P) + MPF(B,L~N,S~no,NE~U,NE2~U) <-> PLK1(B!0,L~N,AP~P,S~Ki).MPF(B!0,L~N,NE~U,NE2~U,S~Su)

PLK1 0 ⬆⬇B L N S no Ki take all branches, once each, in any order⬇⬇ AP P MPF 0 ⬆⬇B DP U P NE U NE2 U CR U P L N S no Su take all branches, once each, in any order⬇⬇

PLK1(B,L~C,S~no,AP~P) + MPF(B,L~C,NE~U,NE2~U,S~no) <-> PLK1(B!0,AP~P,L~C,S~Ki).MPF(B!0,L~C,S~Su,NE~U,NE2~U)

PLK1 0 ⬆⬇B L C S no Ki take all branches, once each, in any order⬇⬇ AP P MPF 0 ⬆⬇B DP U P NE U NE2 U CR U P L C S no Su take all branches, once each, in any order⬇⬇

PLK1(B,L~N,S~no,AP~P) + MPF(B,L~N,S~no,NE~U,NE2~P) <-> PLK1(B!0,L~N,AP~P,S~Ki).MPF(B!0,L~N,NE~U,NE2~P,S~Su)

PLK1 0 ⬆⬇B L N S no Ki take all branches, once each, in any order⬇⬇ AP P MPF 0 ⬆⬇B DP U P NE U NE2 P CR U P L N S no Su take all branches, once each, in any order⬇⬇

PLK1(B,L~C,S~no,AP~P) + MPF(B,L~C,NE~U,NE2~P,S~no) <-> PLK1(B!0,AP~P,L~C,S~Ki).MPF(B!0,L~C,S~Su,NE~U,NE2~P)

PLK1 0 ⬆⬇B L C S no Ki take all branches, once each, in any order⬇⬇ AP P MPF 0 ⬆⬇B DP U P NE U NE2 P CR U P L C S no Su take all branches, once each, in any order⬇⬇

PLK1(B!0,L~C,S~Ki,AP~P).MPF(B!0,L~C,NE~U,S~Su) -> PLK1(B,L~C,S~no,AP~P) + MPF(B,L~C,S~no,NE~P)

PLK1 0 ⬆B L C S no Ki take one or more branches, once each, in any order⬆⬆ AP P MPF 0 ⬆B DP U P NE P U take one or more branches, once each, in any order⬆⬆ NE2 U P CR U P L C S no Su take one or more branches, once each, in any order⬆⬆

PLK1(B!0,L~N,S~Ki,AP~P).MPF(B!0,L~N,NE~U,S~Su) -> PLK1(B,L~N,S~no,AP~P) + MPF(B,L~N,S~no,NE~P)

PLK1 0 ⬆B L N S no Ki take one or more branches, once each, in any order⬆⬆ AP P MPF 0 ⬆B DP U P NE P U take one or more branches, once each, in any order⬆⬆ NE2 U P CR U P L N S no Su take one or more branches, once each, in any order⬆⬆
# MPF PHOSPHORYLATING Plk1 ##

PLK1(B,L~C,S~no,AP~U) + MPF(B,L~C,S~no,DP~U) <-> PLK1(B!0,L~C,S~Su,AP~U).MPF(B!0,L~C,S~Ki,DP~U)

PLK1 0 ⬆⬇B L C S no Su take all branches, once each, in any order⬇⬇ AP U MPF 0 ⬆⬇B DP U NE P U P2 NE2 U P CR U P L C S no Ki take all branches, once each, in any order⬇⬇

PLK1(B,L~N,S~no,AP~U) + MPF(B,L~N,S~no,DP~U) <-> PLK1(B!0,L~N,S~Su,AP~U).MPF(B!0,L~N,S~Ki,DP~U)

PLK1 0 ⬆⬇B L N S no Su take all branches, once each, in any order⬇⬇ AP U MPF 0 ⬆⬇B DP U NE P U P2 NE2 U P CR U P L N S no Ki take all branches, once each, in any order⬇⬇

PLK1(B!0,L~N,S~Su,AP~U).MPF(B!0,L~N,S~Ki,DP~U) -> PLK1(B,L~N,S~no,AP~P) + MPF(B,L~N,S~no,DP~U)

PLK1 0 ⬆B L N S no Su take one or more branches, once each, in any order⬆⬆ AP U P take all branches, once each, in any order⬇⬇ MPF 0 ⬆B DP U NE P U P2 NE2 U P CR U P L N S no Ki take one or more branches, once each, in any order⬆⬆

PLK1(B!0,L~C,S~Su,AP~U).MPF(B!0,L~C,S~Ki,DP~U) -> PLK1(B,L~C,S~no,AP~P) + MPF(B,L~C,S~no,DP~U)

PLK1 0 ⬆B L C S no Su take one or more branches, once each, in any order⬆⬆ AP U P take all branches, once each, in any order⬇⬇ MPF 0 ⬆B DP U NE P U P2 NE2 U P CR U P L C S no Ki take one or more branches, once each, in any order⬆⬆
# Plk1 PHOSPHORYLATING CHK1 ##

PLK1(B,L~C,S~no,AP~P) + CHK1(B,AP~P,S~no,L~C) -> PLK1(B,L~C,S~no,AP~U) + CHK1(B,AP~P,S~no,L~C)

PLK1 B L C S no AP U P take one or more branches, once each, in any order⬆⬆ CHK1 B AP P S no L C

PLK1(B,L~C,S~no,AP~P) + CHK1(B,AP~P,S~no,L~C) -> PLK1(B,L~C,S~no,AP~P) + CHK1(B,AP~U,S~no,L~C)

PLK1 B L C S no AP P CHK1 B AP U P take one or more branches, once each, in any order⬆⬆ S no L C

PLK1(B,L~N,S~no,AP~P) + CHK1(B,AP~P,S~no,L~N) -> PLK1(B,S~no,AP~U,L~N) + CHK1(B,AP~P,S~no,L~N)

PLK1 B L N S no AP U P take one or more branches, once each, in any order⬆⬆ CHK1 B AP P S no L N

PLK1(B,L~N,S~no,AP~P) + CHK1(B,AP~P,S~no,L~N) -> PLK1(B,S~no,AP~P,L~N) + CHK1(B,AP~U,S~no,L~N)

PLK1 B L N S no AP P CHK1 B AP U P take one or more branches, once each, in any order⬆⬆ S no L N
#PLK1 PHOSPHORYLATING WEE1##

PLK1(B,L~N,S~no,AP~P) + WEE1(B,L~N,DP~U,S~no) <-> PLK1(B!0,L~N,S~no,AP~P).WEE1(B!0,L~N,DP~U,S~no)

PLK1 0 ⬆⬇B L N S no AP P WEE1 0 ⬆⬇B L N DP U SP U P S no

PLK1(B!0,L~N,S~no,AP~P).WEE1(B!0,L~N,DP~U,S~no) -> PLK1(B,L~N,S~no,AP~P) + WEE1(B,L~N,DP~P,S~no)

PLK1 0 ⬆B L N S no AP P WEE1 0 ⬆B L N DP U P take all branches, once each, in any order⬇⬇ SP U P S no

PLK1(B,L~N,S~no,AP~P) + WEE1(B,L~N,DP~M,S~no) <-> PLK1(B!0,L~N,S~no,AP~P).WEE1(B!0,L~N,DP~M,S~no)

PLK1 0 ⬆⬇B L N S no AP P WEE1 0 ⬆⬇B L N DP M SP U P S no

PLK1(B!0,L~N,S~no,AP~P).WEE1(B!0,L~N,DP~M,S~no) -> PLK1(B,L~N,S~no,AP~P) + WEE1(B,L~N,DP~P,S~no)

PLK1 0 ⬆B L N S no AP P WEE1 0 ⬆B L N DP P M take one or more branches, once each, in any order⬆⬆ SP U P S no
# Plk1 PHOSPHORYLATING pkMyt1 ##

PLK1(B,L~C,S~no,AP~P) + MYT1(B,S~no,L~C) <-> PLK1(B!0,L~C,AP~P,S~Ki).MYT1(B!0,L~C,S~Su)

PLK1 0 ⬆⬇B L C S no Ki take all branches, once each, in any order⬇⬇ AP P MYT1 0 ⬆⬇B S no Su take all branches, once each, in any order⬇⬇ L C
# MPF AUTOPHOSPHORYLATION ##

MPF(B!0,L~N,NE2~U,S~Su).MPF(B!0,L~N,DP~U,S~Ki) -> MPF(B,L~N,S~no,NE2~P) + MPF(B,L~N,DP~U,S~no)

MPF 0 ⬆B DP U P NE P U P2 NE2 U P take all branches, once each, in any order⬇⬇ CR U P L N S no Su take one or more branches, once each, in any order⬆⬆ MPF 0 ⬆B DP U NE P U P2 NE2 U P CR U P L N S no Ki take one or more branches, once each, in any order⬆⬆

MPF(B,L~N,S~no,NE2~U) + MPF(B,L~N,DP~U,S~no) <-> MPF(B!0,L~N,NE2~U,S~Su).MPF(B!0,L~N,DP~U,S~Ki)

MPF 0 ⬆⬇B DP U P NE P U P2 NE2 U CR U P L N S no Su take all branches, once each, in any order⬇⬇ MPF 0 ⬆⬇B DP U NE P U P2 NE2 U P CR U P L N S no Ki take all branches, once each, in any order⬇⬇

MPF(B,L~C,NE2~U,S~no) + MPF(B,L~C,DP~U,S~no) <-> MPF(B!0,L~C,NE2~U,S~Su).MPF(B!0,L~C,DP~U,S~Ki)

MPF 0 ⬆⬇B DP U P NE P U P2 NE2 U CR U P L C S no Su take all branches, once each, in any order⬇⬇ MPF 0 ⬆⬇B DP U NE P U P2 NE2 U P CR U P L C S no Ki take all branches, once each, in any order⬇⬇

MPF(B!0,L~C,NE2~U,S~Su).MPF(B!0,L~C,DP~U,S~Ki) -> MPF(B,L~C,NE2~P,S~no) + MPF(B,L~C,DP~U,S~no)

MPF 0 ⬆B DP U P NE P U P2 NE2 U P take all branches, once each, in any order⬇⬇ CR U P L C S no Su take one or more branches, once each, in any order⬆⬆ MPF 0 ⬆B DP U NE P U P2 NE2 U P CR U P L C S no Ki take one or more branches, once each, in any order⬆⬆
# Phosphorylation of Histone H3 by MPF to Mark Mitotic Entry ##

MPF(B,DP~U,L~N,S~no) + H3(B,AP~U,L~N,S~no) <-> MPF(B!0,DP~U,L~N,S~Ki).H3(B!0,AP~U,L~N,S~Su)

MPF 0 ⬆⬇B DP U NE P U P2 NE2 U P CR U P L N S no Ki take all branches, once each, in any order⬇⬇ H3 0 ⬆⬇B L N S no Su take all branches, once each, in any order⬇⬇ AP U

MPF(B!0,DP~U,L~N,S~Ki).H3(B!0,AP~U,L~N,S~Su) -> MPF(B,DP~U,L~N,S~no) + H3(B,AP~P,L~N,S~no)

MPF 0 ⬆B DP U NE P U P2 NE2 U P CR U P L N S no Ki take one or more branches, once each, in any order⬆⬆ H3 0 ⬆B L N S no Su take one or more branches, once each, in any order⬆⬆ AP U P take all branches, once each, in any order⬇⬇