; Reachability graph file.

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