VAR
x = 0 2;
y = 0 1;
c = 0 1;

REG
inh [!(y>=1)] => x;
act2 [(x>=2)] => x;
act1 [(x>=1)] => y;
actc [(c>=1)] => x;

PARA

# Parameters for X
K_x=0 ; 
K_x+inh=1 ; 
K_x+actc=0 ; 
K_x+act2=2 ; 
K_x+act2+actc=2 ; 
K_x+actc+inh=2 ; 
K_x+act2+inh=2 ; 
K_x+act2+actc+inh=2 ; 



# Parameters for Y
K_y=0 ; 
K_y+act1=1 ; 



# Parameters for C
K_c=0 ; 



CTL
#(X=1)&(Y=0)&(C=0)->EF(X=1)
(x=1)->EF(x=1)
