xpn [vilar_bnd_ctl] { constants: valuesets[Main:V_2000:V_2050:V_1000:V_1500:V_1750:V_1900] weight: int C1 = [120:120:::::]; int C2 = [2500:2000:2050:1000:1500:1750:1900]; places: geneA = 1; _A = 0; geneA_A = 0; mrnaA = 0; mrnaR = 0; geneR_A = 0; geneR = 1; _R = 0; A_R = 0; transitions: r1 : : [geneA_A + 1] & [geneA - 1] & [_A - 1] ; r2 : : [_A + 1] & [geneA + 1] & [geneA_A - 1] ; r3 : [geneA >= 1] & [mrnaA < C1] : [mrnaA + 1] ; r4 : [geneA_A >= 1] & [mrnaA < C1] : [mrnaA + 1] ; r6 : : [mrnaA - 1] ; r5 : [mrnaA >= 1] & [_A < C2] : [_A + 1] ; r7 : : [_A - 1] ; r15 : : [_R - 1] ; r13 : [mrnaR >= 1] & [_R < C2] : [_R + 1] ; r14 : : [mrnaR - 1] ; r12 : [geneR_A >= 1] & [mrnaR < C1] : [mrnaR + 1] ; r11 : [geneR >= 1] & [mrnaR < C1] : [mrnaR + 1] ; r10 : : [geneR + 1] & [_A + 1] & [geneR_A - 1] ; r9 : : [geneR_A + 1] & [_A - 1] & [geneR - 1] ; r8 : [A_R < C2] : [A_R + 1] & [_A - 1] & [_R - 1] ; r16 : : [_R + 1] & [A_R - 1] ; }