; Reachability graph file.

Generated by VPNP
; Generated from C:\Users\Ionsam14\Desktop\EP Gutuleac\Sa MCOX 3 knN.pn2 - Visual
Petri Net+ - Release v2.4 Petri net file.
Totally found markings number = 61
PositionsList: p1;p2;p3;p4;p5;p6;p7;p8;p9;
M0 = [20,0,0,0,0,0,0,1,0] [t1,t2>M1;\\1;
M1 = [19,0,1,0,0,0,0,0,0]
[t1>M2;t3,t4>M4;t3,t5,t7>M7;t3,t5,t8,t10>M0;\\1;0.25;0.5;0.25;
M2 = [18,1,1,0,0,0,0,0,0]
[t1>M3;t3,t4>M6;t3,t5,t7>M10;t3,t5,t8,t10,t2>M1;\\1;0.25;0.5;0.25;
M3 = [17,2,1,0,0,0,0,0,0]
[t1>M5;t3,t4>M9;t3,t5,t7>M13;t3,t5,t8,t10,t2>M2;\\1;0.25;0.5;0.25;
M4 = [19,0,0,0,1,0,0,0,0]
[t1>M6;t6,t7>M7;t6,t8,t10>M0;\\1;0.666666666666667;0.333333333333333;
M5 = [16,3,1,0,0,0,0,0,0]
[t1>M8;t3,t4>M12;t3,t5,t7>M16;t3,t5,t8,t10,t2>M3;\\1;0.25;0.5;0.25;
M6 = [18,1,0,0,1,0,0,0,0]
[t1>M9;t6,t7>M10;t6,t8,t10,t2>M1;\\1;0.666666666666667;0.333333333333333;
M7 = [19,0,0,0,0,0,1,0,0] [t1>M10;t9,t10>M0;\\1;1;
M8 = [15,4,1,0,0,0,0,0,0]
[t1>M11;t3,t4>M15;t3,t5,t7>M19;t3,t5,t8,t10,t2>M5;\\1;0.25;0.5;0.25;
M9 = [17,2,0,0,1,0,0,0,0]
[t1>M12;t6,t7>M13;t6,t8,t10,t2>M2;\\1;0.666666666666667;0.333333333333333;
M10 = [18,1,0,0,0,0,1,0,0] [t1>M13;t9,t10,t2>M1;\\1;1;
M11 = [14,5,1,0,0,0,0,0,0]
[t1>M14;t3,t4>M18;t3,t5,t7>M22;t3,t5,t8,t10,t2>M8;\\1;0.25;0.5;0.25;
M12 = [16,3,0,0,1,0,0,0,0]
[t1>M15;t6,t7>M16;t6,t8,t10,t2>M3;\\1;0.666666666666667;0.333333333333333;
M13 = [17,2,0,0,0,0,1,0,0] [t1>M16;t9,t10,t2>M2;\\1;1;
M14 = [13,6,1,0,0,0,0,0,0]
[t1>M17;t3,t4>M21;t3,t5,t7>M25;t3,t5,t8,t10,t2>M11;\\1;0.25;0.5;0.25;
M15 = [15,4,0,0,1,0,0,0,0]
[t1>M18;t6,t7>M19;t6,t8,t10,t2>M5;\\1;0.666666666666667;0.333333333333333;
M16 = [16,3,0,0,0,0,1,0,0] [t1>M19;t9,t10,t2>M3;\\1;1;
M17 = [12,7,1,0,0,0,0,0,0]
[t1>M20;t3,t4>M24;t3,t5,t7>M28;t3,t5,t8,t10,t2>M14;\\1;0.25;0.5;0.25;
M18 = [14,5,0,0,1,0,0,0,0]
[t1>M21;t6,t7>M22;t6,t8,t10,t2>M8;\\1;0.666666666666667;0.333333333333333;
M19 = [15,4,0,0,0,0,1,0,0] [t1>M22;t9,t10,t2>M5;\\1;1;
M20 = [11,8,1,0,0,0,0,0,0]
[t1>M23;t3,t4>M27;t3,t5,t7>M31;t3,t5,t8,t10,t2>M17;\\1;0.25;0.5;0.25;
M21 = [13,6,0,0,1,0,0,0,0]
[t1>M24;t6,t7>M25;t6,t8,t10,t2>M11;\\1;0.666666666666667;0.333333333333333;
M22 = [14,5,0,0,0,0,1,0,0] [t1>M25;t9,t10,t2>M8;\\1;1;
M23 = [10,9,1,0,0,0,0,0,0]
[t1>M26;t3,t4>M30;t3,t5,t7>M34;t3,t5,t8,t10,t2>M20;\\1;0.25;0.5;0.25;
M24 = [12,7,0,0,1,0,0,0,0]
[t1>M27;t6,t7>M28;t6,t8,t10,t2>M14;\\1;0.666666666666667;0.333333333333333;
M25 = [13,6,0,0,0,0,1,0,0] [t1>M28;t9,t10,t2>M11;\\1;1;
M26 = [9,10,1,0,0,0,0,0,0]
[t1>M29;t3,t4>M33;t3,t5,t7>M37;t3,t5,t8,t10,t2>M23;\\1;0.25;0.5;0.25;
M27 = [11,8,0,0,1,0,0,0,0]
[t1>M30;t6,t7>M31;t6,t8,t10,t2>M17;\\1;0.666666666666667;0.333333333333333;
M28 = [12,7,0,0,0,0,1,0,0] [t1>M31;t9,t10,t2>M14;\\1;1;
M29 = [8,11,1,0,0,0,0,0,0]
[t1>M32;t3,t4>M36;t3,t5,t7>M40;t3,t5,t8,t10,t2>M26;\\1;0.25;0.5;0.25;
M30 = [10,9,0,0,1,0,0,0,0]
[t1>M33;t6,t7>M34;t6,t8,t10,t2>M20;\\1;0.666666666666667;0.333333333333333;
M31 = [11,8,0,0,0,0,1,0,0] [t1>M34;t9,t10,t2>M17;\\1;1;
M32 = [7,12,1,0,0,0,0,0,0]
[t1>M35;t3,t4>M39;t3,t5,t7>M43;t3,t5,t8,t10,t2>M29;\\1;0.25;0.5;0.25;
M33 = [9,10,0,0,1,0,0,0,0]
[t1>M36;t6,t7>M37;t6,t8,t10,t2>M23;\\1;0.666666666666667;0.333333333333333;
M34 = [10,9,0,0,0,0,1,0,0] [t1>M37;t9,t10,t2>M20;\\1;1;
M35 = [6,13,1,0,0,0,0,0,0]
[t1>M38;t3,t4>M42;t3,t5,t7>M46;t3,t5,t8,t10,t2>M32;\\1;0.25;0.5;0.25;
M36 = [8,11,0,0,1,0,0,0,0]
[t1>M39;t6,t7>M40;t6,t8,t10,t2>M26;\\1;0.666666666666667;0.333333333333333;
M37 = [9,10,0,0,0,0,1,0,0] [t1>M40;t9,t10,t2>M23;\\1;1;
M38 = [5,14,1,0,0,0,0,0,0]
[t1>M41;t3,t4>M45;t3,t5,t7>M49;t3,t5,t8,t10,t2>M35;\\1;0.25;0.5;0.25;
M39 = [7,12,0,0,1,0,0,0,0]
[t1>M42;t6,t7>M43;t6,t8,t10,t2>M29;\\1;0.666666666666667;0.333333333333333;
M40 = [8,11,0,0,0,0,1,0,0] [t1>M43;t9,t10,t2>M26;\\1;1;
M41 = [4,15,1,0,0,0,0,0,0]
[t1>M44;t3,t4>M48;t3,t5,t7>M52;t3,t5,t8,t10,t2>M38;\\1;0.25;0.5;0.25;
M42 = [6,13,0,0,1,0,0,0,0]
[t1>M45;t6,t7>M46;t6,t8,t10,t2>M32;\\1;0.666666666666667;0.333333333333333;
M43 = [7,12,0,0,0,0,1,0,0] [t1>M46;t9,t10,t2>M29;\\1;1;
M44 = [3,16,1,0,0,0,0,0,0]
[t1>M47;t3,t4>M51;t3,t5,t7>M55;t3,t5,t8,t10,t2>M41;\\1;0.25;0.5;0.25;
M45 = [5,14,0,0,1,0,0,0,0]
[t1>M48;t6,t7>M49;t6,t8,t10,t2>M35;\\1;0.666666666666667;0.333333333333333;
M46 = [6,13,0,0,0,0,1,0,0] [t1>M49;t9,t10,t2>M32;\\1;1;
M47 = [2,17,1,0,0,0,0,0,0]
[t1>M50;t3,t4>M54;t3,t5,t7>M57;t3,t5,t8,t10,t2>M44;\\1;0.25;0.5;0.25;
M48 = [4,15,0,0,1,0,0,0,0]
[t1>M51;t6,t7>M52;t6,t8,t10,t2>M38;\\1;0.666666666666667;0.333333333333333;
M49 = [5,14,0,0,0,0,1,0,0] [t1>M52;t9,t10,t2>M35;\\1;1;
M50 = [1,18,1,0,0,0,0,0,0]
[t1>M53;t3,t4>M56;t3,t5,t7>M59;t3,t5,t8,t10,t2>M47;\\1;0.25;0.5;0.25;
M51 = [3,16,0,0,1,0,0,0,0]
[t1>M54;t6,t7>M55;t6,t8,t10,t2>M41;\\1;0.666666666666667;0.333333333333333;
M52 = [4,15,0,0,0,0,1,0,0] [t1>M55;t9,t10,t2>M38;\\1;1;
M53 = [0,19,1,0,0,0,0,0,0]
[t3,t4>M58;t3,t5,t7>M60;t3,t5,t8,t10,t2>M50;\\0.25;0.5;0.25;
M54 = [2,17,0,0,1,0,0,0,0]
[t1>M56;t6,t7>M57;t6,t8,t10,t2>M44;\\1;0.666666666666667;0.333333333333333;
M55 = [3,16,0,0,0,0,1,0,0] [t1>M57;t9,t10,t2>M41;\\1;1;
M56 = [1,18,0,0,1,0,0,0,0]
[t1>M58;t6,t7>M59;t6,t8,t10,t2>M47;\\1;0.666666666666667;0.333333333333333;
M57 = [2,17,0,0,0,0,1,0,0] [t1>M59;t9,t10,t2>M44;\\1;1;
M58 = [0,19,0,0,1,0,0,0,0]
[t6,t7>M60;t6,t8,t10,t2>M50;\\0.666666666666667;0.333333333333333;
M59 = [1,18,0,0,0,0,1,0,0] [t1>M60;t9,t10,t2>M47;\\1;1;
M60 = [0,19,0,0,0,0,1,0,0] [t9,t10,t2>M50;\\1;