PageRenderTime 19ms CodeModel.GetById 18ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/test.data/ruleCompressions/model/quantitative/~kappa014.test

http://github.com/kappamodeler/jkappa
Unknown | 45 lines | 44 code | 1 blank | 0 comment | 0 complexity | 09e38d7a7aea0ad39fd4e0d2913ffff5 MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
 1# Rules:
 2#######
 3# Chapter 'Chapter 1'
 4'Ras_Raf' Ras(S1S2~gtp),Raf(x~u) -> Ras(S1S2~gtp!1),Raf(x~u!1) @ 1.0
 5'Raf' Ras(S1S2~gtp!1),Raf(x~u!1) -> Ras(S1S2~gtp!1),Raf(x~p!1) @ 1.0
 6'Ras_Raf_op' Ras(S1S2~gtp!1),Raf(x!1) -> Ras(S1S2~gtp),Raf(x) @ 1.0
 7'PP2A1_Raf' PP2A1(s),Raf(x~p) -> PP2A1(s!1),Raf(x~p!1) @ 1.0
 8'Raf_op' PP2A1(s!1),Raf(x~p!1) -> PP2A1(s!1),Raf(x~u!1) @ 1.0
 9'PP2A1_Raf_op' PP2A1(s!1),Raf(x!1) -> PP2A1(s),Raf(x) @ 1.0
10# 'Raf_MEK@222' Raf(x~p),MEK(S222~u) -> Raf(x~p!1),MEK(S222~u!1) @ 1.0 # Inactive rule
11'eg2' Raf(x~p),MEK(s) -> Raf(x~p!1),MEK(s!1) @ 1.0
12# 'MEK@222' Raf(x~p!1),MEK(S222~u!1) -> Raf(x~p!1),MEK(S222~p!1) @ 1.0 # Inactive rule
13# 'Raf_MEK@222_op' Raf(x~p!1),MEK(S222!1) -> Raf(x~p),MEK(S222) @ 1.0 # Inactive rule
14# 'Raf_MEK@218' Raf(x~p),MEK(S218~u) -> Raf(x~p!1),MEK(S218~u!1) @ 1.0 # Inactive rule
15# 'MEK@218' Raf(x~p!1),MEK(S218~u!1) -> Raf(x~p!1),MEK(S218~p!1) @ 1.0 # Inactive rule
16# 'eg1' Raf(x~p!1),MEK(s!1) -> Raf(x~p),MEK(s) @ 1.0 # Inactive rule
17# 'Raf_MEK@218_op' Raf(x~p!1),MEK(S218!1) -> Raf(x~p),MEK(S218) @ 1.0 # Inactive rule
18'PP2A2_MEK@222' PP2A2(s),MEK(S222~p) -> PP2A2(s!1),MEK(S222~p!1) @ 1.0
19'MEK@222_op' PP2A2(s!1),MEK(S222~p!1) -> PP2A2(s!1),MEK(S222~u!1) @ 1.0
20'PP2A2_MEK@222_op' PP2A2(s!1),MEK(S222!1) -> PP2A2(s),MEK(S222) @ 1.0
21'PP2A2_MEK@218' PP2A2(s),MEK(S218~p) -> PP2A2(s!1),MEK(S218~p!1) @ 1.0
22'MEK@222_op' PP2A2(s!1),MEK(S218~p!1) -> PP2A2(s!1),MEK(S218~u!1) @ 1.0
23'PP2A2_MEK@218_op' PP2A2(s!1),MEK(S218!1) -> PP2A2(s),MEK(S218) @ 1.0
24'MEK_ERK@185' MEK(s,S218~p,S222~p),ERK(T185~u) -> MEK(s!1,S218~p,S222~p),ERK(T185~u!1) @ 1.0
25'ERK@185' MEK(s!1,S218~p,S222~p),ERK(T185~u!1) -> MEK(s!1,S218~p,S222~p),ERK(T185~p!1) @ 1.0
26'MEK_ERK@185_op' MEK(s!1,S218~p,S222~p),ERK(T185!1) -> MEK(s,S218~p,S222~p),ERK(T185) @ 1.0
27'MEK_ERK@187' MEK(s,S218~p,S222~p),ERK(Y187~u) -> MEK(s!1,S218~p,S222~p),ERK(Y187~u!1) @ 1.0
28'ERK@187' MEK(s!1,S218~p,S222~p),ERK(Y187~u!1) -> MEK(s!1,S218~p,S222~p),ERK(Y187~p!1) @ 1.0
29'MEK_ERK@187_op' MEK(s!1,S218~p,S222~p),ERK(Y187!1) -> MEK(s,S218~p,S222~p),ERK(Y187) @ 1.0
30'MKP3_ERK@185' MKP3(s),ERK(T185~p) -> MKP3(s!1),ERK(T185~p!1) @ 1.0
31'ERK@185_op' MKP3(s!1),ERK(T185~p!1) -> MKP3(s!1),ERK(T185~u!1) @ 1.0
32'MKP3_ERK@185_op' MKP3(s!1),ERK(T185!1) -> MKP3(s),ERK(T185) @ 1.0
33'MKP3_ERK@187' MKP3(s),ERK(Y187~p) -> MKP3(s!1),ERK(Y187~p!1) @ 1.0
34'ERK@187_op' MKP3(s!1),ERK(Y187~p!1) -> MKP3(s!1),ERK(Y187~u!1) @ 1.0
35'MKP3_ERK@187_op' MKP3(s!1),ERK(Y187!1) -> MKP3(s),ERK(Y187) @ 1.0
36'DeadRules' A(x)->B(x)
37
38# Initial Conditions:
39%init: 300 * (Ras(S1S2~gtp))
40%init: 1000 * (Raf(x~u))
41%init: 200 * (PP2A1(s))
42%init: 200 * (PP2A2(s))
43%init: 1000 * (MEK(s,S222~p,S218~p))
44%init: 1000 * (ERK(s,T185~u,Y187~u))
45%init: 200 * (MKP3(s))