spn  [toy]
{
constants:
all:
  int D1 = 7;
  int D2 = 8;
  int dS = 3;
  int dM = 5;
  int dL = 8;
parameters:
  double rateShort = 0.009;
  double rateShortInit = 0.003;
  double rateShortFinal = 0.0009;
  double rateMedium = rateShort/50;
  double rateMediumInit = rateShortInit/50;
  double rateMediumFinal = rateShortFinal/50;
  double rateLong = rateShort/100;
  double rateLongInit = rateShortInit/100;
  double rateLongFinal = rateShortFinal/100;
  double rateLoop = 1e-09;
  double weightBlock = 0.7;
block:
  int m_X = 0;
  int m_NX = 0;

places:
discrete:
  A_1_1_INIT_E = 2;
  A_2_3_FORK_E = 1;
  A_2_5_NORM_NX = 1;
  A_2_7_FINAL_F = 1;
  A_4_3_NORM_X = 1;
  A_6_3_FINAL_T = 1;
  B_2_5_NORM_NX = m_NX;
  B_4_3_NORM_X = m_X;

transitions:
stochastic:
  stepShort_1_3_1_2_0_0_3_0
    : 
    : [A_2_3_FORK_E - 2] & [A_1_1_INIT_E - 1] & [A_1_1_INIT_E + 2]
    : rateShort
    ;
  stepShort_3_1_2_1_0_0_0_3
    : 
    : [A_1_1_INIT_E - 2] & [A_2_3_FORK_E - 1] & [A_2_3_FORK_E + 2]
    : rateShortInit
    ;
  stepShort_3_3_2_4_3_0_2_3
    : 
    : [A_4_3_NORM_X - 2] & [A_2_3_FORK_E - 1] & [A_2_3_FORK_E + 2]
    : rateShort
    ;
  stepShort_3_3_4_2_0_3_3_2
    : 
    : [A_2_3_FORK_E - 2] & [A_4_3_NORM_X - 1] & [A_4_3_NORM_X + 2]
    : rateShort
    ;
  stepShort_3_5_2_2_4_0_2_3
    : 
    : [A_2_5_NORM_NX - 2] & [A_2_3_FORK_E - 1] & [A_2_3_FORK_E + 2]
    : rateShort
    ;
  stepShort_3_5_4_2_4_3_2_2
    : 
    : [A_2_5_NORM_NX - 2] & [A_4_3_NORM_X - 1] & [A_4_3_NORM_X + 2]
    : rateShort
    ;
  stepShort_5_3_2_2_0_4_3_2
    : 
    : [A_2_3_FORK_E - 2] & [A_2_5_NORM_NX - 1] & [A_2_5_NORM_NX + 2]
    : rateShort
    ;
  stepShort_5_3_2_4_3_4_2_2
    : 
    : [A_4_3_NORM_X - 2] & [A_2_5_NORM_NX - 1] & [A_2_5_NORM_NX + 2]
    : rateShort
    ;
  stepShortFinal_3_3_6_4_3_1_2_1
    : 
    : [A_4_3_NORM_X - 2] & [A_6_3_FINAL_T - 1] & [A_6_3_FINAL_T + 2]
    : rateShortFinal
    ;
  stepShortFinal_7_5_2_2_4_2_2_1
    : 
    : [A_2_5_NORM_NX - 2] & [A_2_7_FINAL_F - 1] & [A_2_7_FINAL_F + 2]
    : rateShortFinal
    ;
  stepMedium_1_3_1_4_3_0_2_0
    : 
    : [A_4_3_NORM_X - 2] & [A_1_1_INIT_E - 1] & [A_1_1_INIT_E + 2]
    : rateMedium
    ;
  stepMedium_1_5_1_2_4_0_2_0
    : 
    : [A_2_5_NORM_NX - 2] & [A_1_1_INIT_E - 1] & [A_1_1_INIT_E + 2]
    : rateMedium
    ;
  stepMedium_3_1_4_1_0_3_0_2
    : 
    : [A_1_1_INIT_E - 2] & [A_4_3_NORM_X - 1] & [A_4_3_NORM_X + 2]
    : rateMediumInit
    ;
  stepMedium_5_1_2_1_0_4_0_2
    : 
    : [A_1_1_INIT_E - 2] & [A_2_5_NORM_NX - 1] & [A_2_5_NORM_NX + 2]
    : rateMediumInit
    ;
  stepMediumFinal_3_3_6_2_0_1_3_1
    : 
    : [A_2_3_FORK_E - 2] & [A_6_3_FINAL_T - 1] & [A_6_3_FINAL_T + 2]
    : rateMediumFinal
    ;
  stepMediumFinal_3_5_6_2_4_1_2_1
    : 
    : [A_2_5_NORM_NX - 2] & [A_6_3_FINAL_T - 1] & [A_6_3_FINAL_T + 2]
    : rateMediumFinal
    ;
  stepMediumFinal_7_3_2_2_0_2_3_1
    : 
    : [A_2_3_FORK_E - 2] & [A_2_7_FINAL_F - 1] & [A_2_7_FINAL_F + 2]
    : rateMediumFinal
    ;
  stepMediumFinal_7_3_2_4_3_2_2_1
    : 
    : [A_4_3_NORM_X - 2] & [A_2_7_FINAL_F - 1] & [A_2_7_FINAL_F + 2]
    : rateMediumFinal
    ;
  stepLongFinal_3_1_6_1_0_1_0_1
    : 
    : [A_1_1_INIT_E - 2] & [A_6_3_FINAL_T - 1] & [A_6_3_FINAL_T + 2]
    : rateLongFinal
    ;
  stepLongFinal_7_1_2_1_0_2_0_1
    : 
    : [A_1_1_INIT_E - 2] & [A_2_7_FINAL_F - 1] & [A_2_7_FINAL_F + 2]
    : rateLongFinal
    ;
  loop_1_6_3_1
    : 
    : [A_6_3_FINAL_T - 2] & [A_6_3_FINAL_T + 2]
    : rateLoop
    ;
  loop_2_2_7_1
    : 
    : [A_2_7_FINAL_F - 2] & [A_2_7_FINAL_F + 2]
    : rateLoop
    ;
immediate:
  block_3_4_3_2
    : 
    : [A_4_3_NORM_X - 1] & [B_4_3_NORM_X - 1]
    : weightBlock
    ;
  block_4_2_5_2
    : 
    : [A_2_5_NORM_NX - 1] & [B_2_5_NORM_NX - 1]
    : weightBlock
    ;
  fail_3_4_3_2
    : 
    : [B_4_3_NORM_X - 1]
    : 1-weightBlock
    ;
  fail_4_2_5_2
    : 
    : [B_2_5_NORM_NX - 1]
    : 1-weightBlock
    ;

}