simplified motility regulation prism model added

Author: bryantisraelsen

models/SimplifiedMotilityRegulation.ragtimer

@@ -1,12 +1,12 @@
-codY    flache  SigD_hag    hag     CodY_flache CodY_hag    CodY    SigD    Hag
-1       1       1           1       1           1           10      10      10
--1      -1      -1          -1      -1          -1          20      -1      -1
+codY    flache  SigD_hag    hag CodY_flache CodY_hag    CodY    SigD    Hag
+1   1   1   1   1   1   10  10  10
+-1  -1  -1  -1  -1  -1  20  -1  -1
 r1  codY    >   codY    CodY    0.1
 r2  CodY    >   0   0.0002
 r3  flache  >   flache  SigD    1.0
 r4  SigD    >   0   0.0002
-r5  SigD_hag    >   SigD    hag     Hag     1.0
-r6  Hag     >   0   0.0002
+r5  SigD_hag    >   SigD    hag Hag 1.0
+r6  Hag >   0   0.0002
 r7  SigD    hag >   SigD_hag    0.01
 r8  SigD_hag    >   SigD    hag 0.1
 r9  CodY    flache  >   CodY_flache 0.02

models/SimplifiedMotilityRegulation/SimplifiedMotilityRegulation.ragtimer

@@ -0,0 +1 @@
+P=? [true U<=10 CodY=20]

models/SimplifiedMotilityRegulation/motility.csl

@@ -0,0 +1,51 @@
+ctmc
+
+const int var_bound = 20;
+
+const double k1  = 0.1;
+const double k2  = 0.0002;
+const double k3  = 1;
+const double k4  = 0.0002;
+const double k5  = 1;
+const double k6  = 0.0002;
+const double k7  = 0.01;
+const double k8  = 0.1;
+const double k9  = 0.02;
+const double k10 = 0.1;
+const double k11 = 0.01;
+const double k12 = 0.1;
+
+module motility
+
+codY : [0..var_bound] init 1;
+flache : [0..var_bound] init 1;
+SigD_hag : [0..var_bound] init 1;
+hag : [0..var_bound] init 1;
+CodY_flache : [0..var_bound] init 1;
+CodY_hag : [0..var_bound] init 1;
+CodY : [0..var_bound] init 10;
+SigD : [0..var_bound] init 10;
+Hag : [0..var_bound] init 10;
+
+[R1] codY>0 & CodY<var_bound -> (k1*codY) : (CodY'=CodY+1);
+[R2] CodY>0  -> (k2*CodY) : (CodY'=CodY-1);
+[R3] flache>0 & SigD<var_bound -> (k3*flache) : (SigD'=SigD+1);
+[R4] SigD>0 -> (k4*SigD) : (SigD'=SigD-1);
+[R5] SigD_hag>0 & SigD<var_bound & hag<var_bound & Hag<var_bound-> (k5*SigD_hag) : (SigD_hag'=SigD_hag-1)&(SigD'=SigD+1)&(hag'=hag+1)&(Hag'=Hag+1);
+[R6] Hag>0 -> (k6*Hag) : (Hag'=Hag-1);
+[R7] SigD>0 & hag>0 & SigD_hag<var_bound-> (k7*SigD*hag) : (SigD'=SigD-1)&(hag'=hag-1)&(SigD_hag'=SigD_hag+1);
+[R8] SigD_hag>0 & SigD<var_bound & hag<var_bound -> (k8*SigD_hag) : (SigD_hag'=SigD_hag-1)&(SigD'=SigD+1)&(hag'=hag+1);
+[R9] CodY>0 & flache>0 & CodY_flache<var_bound -> (k9*CodY*flache) : (CodY'=CodY-1)&(flache'=flache-1)&(CodY_flache'=CodY_flache+1);
+[R10] CodY_flache>0 & CodY<var_bound & flache<var_bound -> (k10*CodY_flache) : (CodY_flache'=CodY_flache-1)& (CodY'=CodY+1) & (flache'=flache+1);
+[R11] CodY>0 & hag>0 & CodY_hag<var_bound -> (k11*CodY*hag) : (CodY'=CodY-1)&(hag'=hag-1)&(CodY_hag'=CodY_hag+1);
+[R12] CodY_hag>0 & CodY<var_bound & hag<var_bound -> (k12*CodY_hag) : (CodY_hag'=CodY_hag-1)& (CodY'=CodY+1) & (hag'=hag+1);
+
+
+
+endmodule
+
+
+
+
+
+