spn [Membrane]
{
constants:
valuesets[Main]
coloring:
int m =5;
parameter:
double k1 =2.3;
parameter:
double k2 =1.45;

places:
    a_1_1 = 0;
    b_1_1 = 1;
    b_2_2 = 0;
    b_3_2 = 0;
    b_4_2 = 0;
    b_5_2 = 0;
    c_2_2 = 0;
    c_3_2 = 0;
    c_4_2 = 0;
    c_5_2 = 0;

transitions:
  stochastic:
    t3_1_constant
        : 
        : [a_1_1 - 1]
        : MassAction(1);
    t_1_1_constant
        : 
        : [a_1_1 + 1] & [b_1_1 + 1] & [b_1_1 - 1]
        : MassAction(k1);
    t_2_2_2_2_2
        : 
        : [b_2_2 + 1] & [a_1_1 - 1]
        : MassAction(k2);
    t_2_3_2_2_3
        : 
        : [b_3_2 + 1] & [a_1_1 - 1]
        : MassAction(k2);
    t_2_4_2_2_4
        : 
        : [b_4_2 + 1] & [a_1_1 - 1]
        : MassAction(k2);
    t_2_5_2_2_5
        : 
        : [b_5_2 + 1] & [a_1_1 - 1]
        : MassAction(k2);
    t_2_1_2_2_2_2
        : 
        : [c_2_2 + 1] & [a_1_1 - 1]
        : MassAction(k1);
    t_2_1_3_2_2_3
        : 
        : [c_3_2 + 1] & [a_1_1 - 1]
        : MassAction(k1);
    t_2_1_4_2_2_4
        : 
        : [c_4_2 + 1] & [a_1_1 - 1]
        : MassAction(k1);
    t_2_1_5_2_2_5
        : 
        : [c_5_2 + 1] & [a_1_1 - 1]
        : MassAction(k1);

}